a minimal github pull request patcher
npm install -g gprnavigate into a github managed folder and git gpr.
Alternatively pass in the github repository name as the first parameter. Useful when merging upstream changes for example.
gpr dvcrn/proton
gpr neovim/neovim
MIT © David Mohl
