関連ワード:  auto merge pull request github actions    pull request types github actions    github actions get pull request number    pull request vs merge    github who can merge pull request  
結果 : auto merge pull request github actions