2017-07-24から1日間の記事一覧

PR済みのブランチを削除して同名ブランチでpushしたらCloseになる

差分なしでの Close になるという GitHubでの今日の知見だった。 git checkout -b a_branch # ここで何かコミットする git push upstream head # ここで GitHub で PR にする git checkout master git branch -D a_branch git checkout -b a_branch # ここで…