Re: pull requests

[Stefan Monnier]

>> I don't follow: in all likelihood, that URL that A sends to B points
>> to the web interface (at least, that's what I saw in 100% of the
>> cases with github and gitlab).
> IME, that URL is both for the Web interface and for accessing the
> repository.  If you point a browser there, you get the Web interface; if you
> clone from that URL, you get the code.

This dual-use only applies to the URL of a whole Git repository.
Not for branches or pull requests.

If using "nongnu.org" is considered sufficient, then we could also have
a similar marker in the URL of non-official repositories
(i.e. personal repositories used to upload pull requests, I guess).

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, IMO, and if we could use a system that does not
impose such a constraint it would be much better (both for me as a user
and for the FSF in terms of the resources they'd need to host that
system).


        Stefan