On Jul 10, 2015 12:11 PM, "Ian Jackson" <firstname.lastname@example.org> 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, which is exactly how the CLI tools git-hub works.