[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: pull requests

From: Stefan Monnier
Subject: Re: pull requests
Date: Mon, 30 Mar 2020 13:20:31 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]