GitHub Pages が automatic page generator をリリースした頃から、 リポジトリに push しても GitHub Pages が更新されなくなったので、 問い合わせをした結果わかったことをシェアする。 前提 GitHub Pages は User (Organization) Pages Project Pages の…