Gitlab experiment status

[Zebediah Figura]

On 5/25/22 14:39, Zebediah Figura wrote:
> Most of the benefits to Gitlab are applicable to new users and to the 
> project maintainer, so there's not much on the "pro" side for me. One 
> potential benefit I have noted is that it does seem potentially helpful 
> to have a list of pull requests assigned to me, in case any of the 
> relevant emails get lost. No other benefits have appeared to me at the 
> moment, though.

Actually, now that I've discovered the syntax (thanks Rémi), I find the 
following a more convenient way to retrieve larger patch series:

     git fetch <remote> merge-requests/123/head

followed by references to FETCH_HEAD. So that's another benefit.