DevOps GitHubのpublicリポジトリに入れてはいけないものを入れたときの緊急手順 — HEADから消す・履歴から抜く・Supportに頼む・二度と入らなくする
public な GitHub リポジトリに秘密鍵・ライセンス上まずいバイナリ・個人情報を入れてしまったときの緊急手順書。HEAD から外す → git filter-repo で履歴から抜く → ブランチ保護を秒で外して force push → 残る参照 (PR ref・raw・fork) を数える → GitHub Support に GC を依頼する文面 → 容量と拡張子の門番で再発を防ぐ。スクショとチェックリストつき。