Re[2]: Verifying issues on Gitlab

[Trevor]

Another question:

How do I remove labels no longer relevant (or entered incorrectly!) eg 
Patch:Push for verified issues?

Trevor

------ Original Message ------
From: "Kevin Barry" <address@hidden>
To: "Federico Bruni" <address@hidden>
Cc: "lilypond-devel" <address@hidden>
Sent: 12/05/2020 08:15:02
Subject: Re: Verifying issues on Gitlab

> Hi Federico,
>
> Thank you for the instructions. I will try to help get them done as
> well.
>
> On Tue, May 12, 2020 at 12:28:24AM +0200, Federico Bruni wrote:
> >  In the last comment you should find a commit id (if it's missing you'll have
> >  to search it).
> >  The easiest and quickest way to verify that a certain id has been included
> >  in the release tag label used in the issue is using Github. Start from this
> >  URL:
>
> Another handy way to do this is to run git tag --contains <commit_hash>.
> (For me this is faster than github.)
>
> Kevin