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