関連ワード:  github checkout branch from pull request    github delete branch after pull request    change target branch of pull request github    github actions get pull request number  
結果 : github checkout branch from pull request