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 the

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 fu...@yuggoth.org : 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

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

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

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 URL: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 account. Decentralisation

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 URL:https://developer.github.com/v3/#authentication leads me to infer there's no way for to submit a GitHub “pull

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 nice

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 registration on a privileged

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

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. Are

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

2015-07-10 Thread Ben Finney
Ian Jackson ijack...@chiark.greenend.org.uk 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

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

2015-07-10 Thread Philip Hands
Ian Jackson ijack...@chiark.greenend.org.uk 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,

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 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

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

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 ijack...@chiark.greenend.org.uk 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

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. I don't

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

2015-04-23 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-23 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 «accept

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 associated

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 pull requests into

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 repo

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

2015-04-19 Thread Russ Allbery
Stefano Zacchiroli z...@debian.org 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

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

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 that.

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

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

2015-04-18 Thread Ben Finney
Russ Allbery r...@debian.org writes: Ben Finney ben+deb...@benfinney.id.au writes: Yet it is exactly those lock-in features that is the basis for arguments to put special effort into the centralised single point of failure. For example, the centralised proprietary GitHub “pull request”