+scr additional functions for tagging issues on github
=scr silence curl on jenkins, no need for progress bars
Merge pull request #15276 from ktoso/port-scr-github-tagging

+scr functions for tagging issues on github, for pr-validator (forward port)