Stefan Monnier writes: > Hopefully a pull-request can appear as a Git branch, so the maintainer > who can't or doesn't want to use a browser can use "git diff/merge" and > such to view and accept a pull-request. Pull requests are just sugar around remotes. So to use `git diff` et all you need to add a new remote and fetch it; as soon as this is done you can work with git on it as usual: git remote add foo ssh://foo/bar git fetch foo git diff master foo/master` Best regards, -- Christian Kruse https://wwwtech.de/about