Detection and replacement of references to Github commits and issues

Replace ```user/repo@commit_sha``` and ```user/repo#issue_num``` with links to Github.