Re: GitHub “pull request ” is proprietary, incom patible with Git ‘requ est-pull ’
On 16/07/15 18:14, Ian Jackson wrote:
> Can you point me at the server code, or configuration that handled
> your push ?
Documentation: https://ikiwiki.info/tips/untrusted_git_push/
Implementation (it's a pre-receive hook):
http://source.ikiwiki.branchable.com/?p=source.git;a=blob;f=IkiWiki/Receive.pm;h=5908e09f953ad09cb576cae6c956230be497d6df;hb=HEAD
http://source.ikiwiki.branchable.com/?p=source.git;a=blob;f=IkiWiki/Plugin/git.pm;h=4d48388a04fdc2e9c3d6ea7c71b40d3ba3ccd88c;hb=HEAD#l894
> That commit is on HEAD. But the request was for the pushed commits to
> land somewhere else.
ikiwiki doesn't currently do what you request, because all it needs for
its current functionality is the ability to accept or decline pushes to
branches; but AIUI the same mechanisms in a pre-receive hook can be used
to divert them elsewhere.
I think this is also how the ability to "git push" to a Gerrit instance
works: you do something like "git push gerrit bug123:refs/for/master",
and gerrit interprets that as a pull request targeting master, and makes
the commits available for review in its web UI.
> The request included the notion that the repo or branch owner would
> get told somehow about the push.
ikiwiki's pre-receive hook doesn't *directly* do that, although it could
(it has the opportunity to do whatever is desired with the git log/diff
that it's receiving).
S
Reply to:
- References:
- Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’
- From: Ian Jackson <ijackson@chiark.greenend.org.uk>
- Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’
- From: Dimitri John Ledkov <dimitri.ledkov@surgut.co.uk>
- Re: Re: GitHub “pull request” is proprietary, incomp atible with Git ‘request-pull ’
- From: Ian Jackson <ijackson@chiark.greenend.org.uk>
- Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull’
- From: Ben Finney <ben+debian@benfinney.id.au>
- Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’
- From: Ian Jackson <ijackson@chiark.greenend.org.uk>
- Re: GitHub “pull request” is proprietary, incompatible with Git ‘request-pull ’
- From: Antonio Terceiro <terceiro@debian.org>
- Re: GitHub “pull request ” is proprietary, incompatible with Git ‘requ est-pull ’
- From: Ian Jackson <ijackson@chiark.greenend.org.uk>
- Re: GitHub “pull request ” is proprietary, incompatible with Git ‘requ est-pull ’
- From: Antonio Terceiro <terceiro@debian.org>
- Re: GitHub “pull request ” is proprietary, incompatible with Git ‘requ est-pull ’
- From: Paul Wise <pabs@debian.org>
- Re: Re: GitHub “pull request ” is proprietary, incom patible with Git ‘requ est-pull ’
- From: Ian Jackson <ijackson@chiark.greenend.org.uk>