[Top][All Lists]

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

Re: pull requests

From: Dmitry Gutov
Subject: Re: pull requests
Date: Mon, 30 Mar 2020 20:28:23 +0300
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1

On 30.03.2020 20:20, Stefan Monnier wrote:
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.

That might work. Along with a "Refresh" button to update the PR contents after the external branch has received some changes.

I've never seen this implemented anywhere, though.

reply via email to

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