頻繁なgithub push にまつわる編集ミスの補正