Re: pull requests

[Eli Zaretskii]

> Cc: address@hidden, address@hidden, address@hidden,
>  address@hidden
> From: Dmitry Gutov <address@hidden>
> Date: Mon, 30 Mar 2020 16:50:59 +0300
> 
> On 30.03.2020 16:12, Eli Zaretskii wrote:
> > Try the repo URL, not the merge-request URL.  People point to the repo
> > very frequently, you can find such references even in this list.
> 
> That seems irrelevant to the question of showing or hiding merge 
> requests. It's orthogonal.

It is relevant because I've seen people pointing to the repository,
not to a specific branch or merge request.