pull-request 2 public リポジトリの PR と CI の権限まわり 2026/08/20 GitHub Squash Mergeのメリットと派生ブランチの落とし穴 2026/03/29