From tickets to merge requests and vice versa

[Matthew Pickering]

I have no idea about #16411 and 520 sorry. It is quite baffling.

I think it might say "closes #16411" because it says "Fix #16411" in the title.

On Tue, Mar 12, 2019 at 5:32 PM Simon Peyton Jones
<simonpj at microsoft.com> wrote:
>
> Ben, Matthew
>
>
>
> I wrote up notes on how to get from MR to issue, and from issue to MR, in my help page: https://gitlab.haskell.org/ghc/ghc/wikis/working-conventions/git-lab-spj
>
> (See “Issues” and “Merge requests” headings)
>
>
>
> Alas, it seems that I was lying
>
>
>
> Issue #16411 does not have a “relevant merge request” link to MR!520, even though the latter plainly mentions the former.  That seems deeply strange, and makes it hard to see if the issue has a MR, let alone which one it is.
>
>
>
> Somehow MR!520 says “closes #16411” rather than just “mentions #16411”.  Perhaps this is good, but how did it know to do that?
>
>
>
> Simon