Re: pull requests

[Stefan Monnier]

>> Of course, the need to have your own fork of a repository on github.com
>> in order to submit a pull request on some other repository on github.com
>> is a serious deficiency
> How else would you do/implement that?

I'd have the pull-request-submitter provide a URL to a Git branch.
That branch would then be fetched and added to the repository as
`refs/pull/<NB>` or something like that.

> Without having push access to the target repository, of course.

That would provide push access but not to the whole repository: only to
`refs/pull/<NB>`.


        Stefan