Philip Hands writes ("Re: GitHub “pull request” is proprietary, incompatible
with Git ‘request-pull ’"):
> Ian Jackson <ijack...@chiark.greenend.org.uk> writes:
> > (It may be that there is already some software that does this. If so
> > I'm not aware of it.)
>
> Having just been using it for pushing some patches to openstack's gerrit
> instance, you seem to be describing 'git-review':
I was aware that gerrit has something a bit like this.
But this:
> https://github.com/openstack-infra/git-review
> https://packages.debian.org/git-review
is a submission tool. It doesn't do the server side.
I don't think you can use it with a simple git server (and you
wouldn't want to grant wide access to push to random branches on your
git server).
> (I guess it would need generalising a bit to work with things other than
> gerrit)
The right way to look at this is that perhaps we could make a
different server-side that isn't gerrit.
Ian.
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
https://lists.debian.org/21919.60139.756550.292...@chiark.greenend.org.uk
