月: 2020年5月

  • GitHub DesktopでPushを取り消す-その2-Reset編

    履歴自体をなかったことにする方法 前回、GitHub DesktopでPushを取り消す-その1-Revert編でRevertして再度PushすることによりPushを取り消しましたが、Push自体をなかった事にする方法があります。この方法はPushした後に別のユーザーがPullしたときなど不具合が生[…続きを読む]

  • GitHub DesktopでPushを取り消す-その1-Revert編

    Pushしてしまった時は・・・ 前回、GitHub Desktopでコミットを取り消すでコミットを取り消しましたが、Pushした後はどのような手順になるか試してみました。 今回のケースでは、Push後ということで、他の誰かがPullしている事もあります。そこでローカルをRevertしてPushする事[…続きを読む]

  • GitHub Desktopでコミットを取り消す

    今回のゴール 間違ってコミットしてしまった!一旦コミットしたけどやっぱ取り消したい!等取り消したい時は多々あります。 今回実施する方法は下記2種類です①履歴を残す”revert”②履歴を残さない”reset” 今回のケースでは、1~3のコミットがありそれぞれテキストに数字が書[…続きを読む]