+pro backported github-tagging (jenkins utility) to 2.3 branch
Merge pull request #15310 from ktoso/pro-githubtagging

+pro backported github-tagging (jenkins utility) to 2.3 branch