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

[João Távora]

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.

João