fix up pr_github