GitHub flow では Pull Request をマージする前に production デプロイする

guides.github.com ずっと「マージした後にメインブランチを production デプロイする」というワークフローだと勘違いしていた。 昔は「マージ後にデプロイ」だったが、いつの頃からか「マージ前にデプロイ」に変わったらしい。 もちろんチームによってワークフローは違って構わないし、上記ドキュメントでも "For some, i…