で、頭の残念なあなたは、git pushしてしまっています。ローカルのcommitを取り消した状態で、git pushしようとするとエラーになります。そこで、共用リポジトリの方も変更を取り消します。$ git push -f origin HEAD^:masterこれで、ローカルも共用リポジト…