Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-13 Thread Jeremy Stanley
On 2015-07-13 14:27:07 +0200 (+0200), Michael Prokop wrote: [...] > And JFTR: 'git review -d $ID' (available via Debian package > git-review) lets you download the specified patchset locally for > diffing etc, so only for commenting and/or the {+-}{1,2} actions > towards gerrit you'd need to use th

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-11 Thread Jeremy Stanley
On 2015-07-11 22:32:31 -0300 (-0300), Antonio Terceiro wrote: > I have a few ideas about this. I have used gerrit before, and it > provides a really nice experience except for 2 little facts: > > - you have to use a web UI thingy to review patches (although that said > web UI does have a really

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-11 Thread Antonio Terceiro
On Sat, Jul 11, 2015 at 06:12:26PM +0100, Ian Jackson wrote: > Ben Finney writes ("Re: GitHub “pull request” is proprietary, incompatible > with Git ‘request-pull ’"): > > My reading of https://developer.github.com/v3/#authentication> > > leads me to infer there&

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-11 Thread Ian Jackson
Ben Finney writes ("Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’"): > A putative decentralised [0] Git pull request feature would IMO require > that anyone with a Git repository can submit a pull request to any > other, without any registrat

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-11 Thread Ben Finney
Ian Jackson writes: > Ben Finney writes ("Re: GitHub “pull request” is proprietary, incompatible > with Git ‘request-pull ’"): > > My reading of https://developer.github.com/v3/#authentication> > > leads me to infer there's no way for to submit a GitHub

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-11 Thread Ian Jackson
Ben Finney writes ("Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’"): > My reading of https://developer.github.com/v3/#authentication> > leads me to infer there's no way for to submit a GitHub “pull request” > without having a GitHub acc

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-11 Thread Vincent Bernat
❦ 10 juillet 2015 22:00 GMT, Jeremy Stanley  : > Simulating Gerrit's behaviors in this regard would probably not > satisfy the desire for a "replacement for pull requests" however > since Gerrit assumes a LKML-esque "rebase your patch until you get > it right" approach rather than the "keep stack

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-10 Thread Paul Wise
On Fri, Jul 10, 2015 at 11:49 PM, Dimitri John Ledkov wrote: > I want mentors.debian.net to accept git am formated patch / or a > debdiff against any packaging =) that would cover 90% of my review > needs in debian. debexpo needs people to rewrite it using a non-deprecated framework, as well as m

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull’

2015-07-10 Thread Ben Finney
Ian Jackson writes: > Dimitri John Ledkov writes: > > What you have described here is github pull requests =) […] > > 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. As pointed

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-10 Thread Brian May
On Sat, 11 Jul 2015 at 02:06 Dimitri John Ledkov < dimitri.led...@surgut.co.uk> wrote: > The problem with all of these they are still centralised. gerrit is > slightly better, as it stores all the review details as git notes, and > thus one can migrate them away without any loss of information. >

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-10 Thread Jeremy Stanley
On 2015-07-10 16:55:23 +0100 (+0100), Ian Jackson wrote: [...] > 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. > >

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-10 Thread Dimitri John Ledkov
On 10 July 2015 at 15:38, Ian Jackson wrote: > I realise I'm coming to this conversation late, but: > > I have some experience of writing a stunt git push receiver. I would > be willing to write another. > > The rough shape would be something like: > > * Instead of doing git-request-pull, submit

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-10 Thread Ian Jackson
Philip Hands writes ("Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’"): > Ian Jackson writes: > > (It may be that there is already some software that does this. If so > > I'm not aware of it.) > > Having just been

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-10 Thread Philip Hands
Ian Jackson writes: > I realise I'm coming to this conversation late, but: > > I have some experience of writing a stunt git push receiver. I would > be willing to write another. > > The rough shape would be something like: > > * Instead of doing git-request-pull, submitter does git push to som

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’

2015-07-10 Thread Ian Jackson
I realise I'm coming to this conversation late, but: I have some experience of writing a stunt git push receiver. I would be willing to write another. The rough shape would be something like: * Instead of doing git-request-pull, submitter does git push to some special URL (perhaps an ssh gi

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull’

2015-04-23 Thread Ian Campbell
On Thu, 2015-04-23 at 11:31 +0200, Tollef Fog Heen wrote: > ]] Ian Campbell > > > On Thu, 2015-04-23 at 08:12 +0200, Tollef Fog Heen wrote: > > > ]] Paul Wise > > > > > > > Also accept contributions via email or git request-pull. > > > > > > How do I set up a service to accept git request-pull

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull’

2015-04-23 Thread Tollef Fog Heen
]] Ian Campbell > On Thu, 2015-04-23 at 08:12 +0200, Tollef Fog Heen wrote: > > ]] Paul Wise > > > > > Also accept contributions via email or git request-pull. > > > > How do I set up a service to accept git request-pull pull requests into > > a workflow? There does not seem to be any protocol

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull’

2015-04-22 Thread Ian Campbell
On Thu, 2015-04-23 at 08:12 +0200, Tollef Fog Heen wrote: > ]] Paul Wise > > > Also accept contributions via email or git request-pull. > > How do I set up a service to accept git request-pull pull requests into > a workflow? There does not seem to be any protocol associated with it, > so «accep

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull’

2015-04-22 Thread Tollef Fog Heen
]] Paul Wise > Also accept contributions via email or git request-pull. How do I set up a service to accept git request-pull pull requests into a workflow? There does not seem to be any protocol associated with it, so «accept contributions via git request-pull» seems underspecified. -- Tollef

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull’

2015-04-19 Thread Paul Wise
On Mon, Apr 20, 2015 at 1:28 AM, Russ Allbery wrote: > Stefano Zacchiroli writes: >> On Sun, Apr 19, 2015 at 12:13:32PM +0800, Paul Wise wrote: > I mirror the repositories on my own publicly-accessible Git server. > Hopefully that's good enough. :) If those are Debian related, I'd still suggest m

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull’

2015-04-19 Thread Russ Allbery
Stefano Zacchiroli writes: > On Sun, Apr 19, 2015 at 12:13:32PM +0800, Paul Wise wrote: >> To those of you who are willing to use github for Debian related >> things, it would be great if you could: >> Mirror the repositories to alioth so Debian has a backup. > I'd rather see it the other way a

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull’ (was: debian github organization ?)

2015-04-19 Thread Stefano Zacchiroli
On Sun, Apr 19, 2015 at 12:13:32PM +0800, Paul Wise wrote: > To those of you who are willing to use github for Debian related > things, it would be great if you could: > > Mirror the repositories to alioth so Debian has a backup. I'd rather see it the other way around: advertise the alioth Git re

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull’ (was: debian github organization ?)

2015-04-18 Thread Paul Wise
On Sat, Apr 18, 2015 at 10:04 PM, Paul Tagliamonte wrote: > Everyone's willing to make tradeoffs on our freedom. It's what tradeoffs > we make, that's the question. To those of you who are willing to use github for Debian related things, it would be great if you could: Mirror the repositories to

Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull’ (was: debian github organization ?)

2015-04-18 Thread Paul Tagliamonte
On Sat, Apr 18, 2015 at 05:55:17PM +1000, Ben Finney wrote: > > Sometimes I wonder if people think free software is so fragile that if > > anyone who works on it ever touches non-free software, everything we > > built will crumble. I think our community and ecosystem is a lot more > > robust than t