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" <[email protected]>
To: "Federico Bruni" <[email protected]>
Cc: "lilypond-devel" <[email protected]>
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
