git push –force-with-lease って何？
コーディングエージェントに開発させていた際、以下のコマンドを実行しようとするのを見ました。このオプションは知らなかったので調べておきました。そのメモを共有しておきます。
git push --force-with-leasegit push --force-with-lease は、通常の --force より安全な強制プッシュです。
通常の --force はリモートの状態を問答無用で上書きします。一方、--force-with-lease は「自分が最後にfetchした時点からリモートのrefが変わっていなければ」という条件付きで上書きします。
なので、複数人で開発している際に、間違えて他の人の変更を上書きするのを避けられます。
公式サイトの記述を確認したい場合はこちらを参照してください。