私が自分で git リポジトリに取り組んでいるとき、プッシュする前にプルする理由はありません。
他の人と作業するときは、プッシュを試みる前にプルを実行することをお勧めします。プルまたはチェックアウトのいずれかであり、変更をマージします。
どちらの方法でも、通常の方法ではプッシュできません。私はマスターと最新の状態にあるので、毎回プッシュする前にプルするのが良い習慣です(そう言われました)。
私がプルする時間の 90% は、既に最新のものであるか早送りされているかのどちらかです。
git push
最初に自動的に実行し、pull
実際のマージ競合がある場合にのみプッシュを停止するようなコマンドはありますか?
エイリアスを作成できると思いますが、そのための組み込みコマンドが既にあるかどうかを最初に確認したかったのです。