[Top][All Lists]

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

Re: "If you're still seeing problems, please reopen." [Was: bug#25148:]

From: João Távora
Subject: Re: "If you're still seeing problems, please reopen." [Was: bug#25148:]
Date: Fri, 22 Nov 2019 09:46:17 +0000
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)

Eli Zaretskii <address@hidden> writes:

>> Cc: address@hidden, address@hidden, address@hidden,
>>  address@hidden, address@hidden
>> From: Dmitry Gutov <address@hidden>
>> Date: Fri, 22 Nov 2019 10:23:24 +0200
>> On 22.11.2019 9:07, Eli Zaretskii wrote:
>> > No, the canonical repository will stay on savannah.gnu.org.  Only the
>> > repository for PRs will be on savannah.nongnu.
>> That... probably won't help much, then. There's no capability for 
>> creating cross-deployment PRs, that's for sure.
> Sorry, I don't understand what you mean by that.  AFAIK, Git has no
> problems with adding as many remotes as one likes.  The cross-server
> issue will only be relevant when an authorized developer wants to
> actually merge the PR, it shouldn't be an issue for (or even visible
> to) the author of the PR.  Or what am I missing?

I won't answer for Dmitry, but I think the nice diff output and
automatic cross-references, _in the Web UI_ are almost guaranteed _not_
to work cross-deployment.  But from the console it should be exactly the
same, yes.


reply via email to

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