doc: add a link to the repository page on GitHub