普段開発する時に今まではブランチ名を頭で記憶して，git push origin ブランチ名で push していた． しかし，途中で忘れていること場合は何度も調べ直したりして効率が悪い． git push の後に，さらに git コマンドを実行する 以下のように，git push origi…