Pull Request auto-merge という機能があるが、デフォルトで有効化する設定ができず、PR を作るごとに手動で有効化しないといけない。それはめんどいので自動化する GitHub Actions ワークフローを作った。 github.com このワークフローを仕込んでおけば、PR…