push -fって、他の人が折角作ったリポジトリを破壊したいのか