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

PR validation on this branch would previously not add tags to github issues. 
This includes the /dev/null silencing fix.