Gerrit でレビュー中の既存の変更に新しいパッチ セットをプッシュしようとしました。
git push origin HEAD:refs/for/foo
しかし、変更が既に閉じられているというエラーで失敗しました。それから、私は愚かにも試しました:
git push . HEAD:refs/for/foo
これは成功したように見えましたが、Gerrit を確認したところ、新しいパッチ セットはありませんでした。その理由の 1 つは、プッシュ先の Gerrit 変更 ID がコミット コメントに含まれていなかったことだと思います。しかし、最後のコマンドは実際に何をしたのでしょうか? どうすれば元に戻すことができますか?