開発者の 1 人が誤って自分のローカル リポジトリを間違った共有リポジトリにプッシュしました。
git push と force を使用してヘッダーを適切な場所にリセットできたので、その部分は問題ありません。
ただし、間違ったコミットを取り除くことができませんでした。gitk --all に、親も子も持たないコミットとして表示されます (つまり、どのブランチにも接続されていません)。
これを完全に取り除く方法はありますか (共有リポジトリを凍結したため、最後のプッシュ以降、誰もプルしていません)?