Re: [PATCH] ci: Add job to check if all mentioned CVEs have corresponding git tags