|
From: | Trevor |
Subject: | Re[2]: Verifying issues on Gitlab |
Date: | Tue, 12 May 2020 11:19:56 +0000 |
User-agent: | eM_Client/7.2.34711.0 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |