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