Re: Verifying issues on Gitlab

[Kevin Barry]

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