Make SSH pull requests actually work.

Generate a proper github URL and sanitize it before printing it.