関連ワード:  github how to reopen a pull request    github how to reopen a closed pull request    github how to reopen a merged pull request    git reopen a pull request    github reopen pull request after force push    github reopen pull request after closed    github reopen pull request    github reopen pull request after revert    github reopen pull request できない    github actions get pull request number