git pushが失敗したとき

覚え書きとして。

リモートからgit pull し忘れて作業をしてしまい、git push しようとしてrejectを食らう、という事案。

ついうっかりやってしまった時の対処。

そういう時は、「リモートの変更を先に受けてからこっちの変更をマージしてpushしなおしたい」という方針であれば

git pull --rebase origin (ブランチ名)

で対処上記コマンドの後にpushをしてやる。

コンフリクト発生の場合などは別途対処が必要だが、解決案の一つとして認めておきます。