A way to access this Github repository from the site

While browsing the site I reflexively looked for a shortcut to the repository, I was surprised not to see one. I think it would be a good idea to add one, either to facilitate access to the repository, or simply as an indication.
This shortcut could, for example, take the form of a button in the navbar or a mention in the footer.