関連ワード:  github patch from pr    github patch from pull request    github get patch from pr    github download patch from pr    github create patch from pr    git create patch from pr    github create patch from pull request    github download patch from pull request    github get patch from pull request    what is git patch