関連ワード:  github get patch from pull request    github create patch from pull request    github patch from pull request    git create patch from pull request    git patch from pull request    github download patch from pull request    git create patch from merge request    get patch file from github pull request    github actions get pull request number    github remove file from pull request