月別アーカイブ:2018年11月

git pushするときは「git push origin HEAD」が便利でおすすめ

2019/2/23  

Gitでカレントブランチをリモートの同名ブランチにプッシュする際、これまで以下のコマンドで行っていました。 ブランチ名が長いとタイプミスする可能性があるので、わざわざgit branchでブランチ名を ...

git pushを取り消す2つの方法

2020/10/10  

git revertでコミットを打ち消す git resetでコミットをなかったことにする git revertは対象のコミットを打ち消すためのコミットを行います。コミットログとしては、対象のコミット ...

© 2024 Reasonable Code