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

Porting github-tagging functions to master, so the pull request validator will also be able to tag ("validating", "tested", "needs-attention") when pull requests are submitted against master.