関連ワード:  github reopen pull request after force push    github delete branch after pull request  
結果 : github reopen pull request after force push