Link repo to GitHub

This PR links the repo to the corresponding GitHub repo page.

WARNING: Completely untested!