now the pull request page points to the html page on github