On Jul 10, 2015 12:11 PM, "Ian Jackson" <ijack...@chiark.greenend.org.uk>
wrote:
>
> Dimitri John Ledkov writes ("Re: GitHub “pull request” is proprietary,
incomp atible with Git ‘request-pull ’"):
> > What you have described here is github pull requests =) they use
> > refs/pull/# namespace though, so one needs to tweak fetch config to
> > get them all.
>
> Except that (a) we don't have an implementation of the server side
> (b) a person who wants to submit a github pull request needs to push
> buttons on the web UI too.Creating a pull request can be done purely by using their API[0], which is exactly how the CLI tools git-hub works. [0]: https://developer.github.com/v3/pulls/#create-a-pull-request Cheers, James
