Make the repo names on the pulls page links to the github pulls page for that repo #57

Closed iphydf closed 6 years ago