2020-06-21 ブランチ名をコピペしないでgit push git push origin head なんかいつも git push origin <ここでマウスを使ってbranch nameコピペ> ということをやっていたので、地味な改善。