関連ワード:  github maintainer edit pull request    github actions get pull request number    github delete branch after pull request  
結果 : github maintainer edit pull request