昨日，Jenkinsプロジェクトの開発者が誤って，JenkinsコードベースのGitリポジトリをストアしているGitHubレポジトリに強制的なプッシュを実行してしまい，数ヶ月間のコミットを紛失した。何が起きたのか，将来同じことを繰り返さないためには何が必要か，検証してみたい。