🌐 URL to GitHub repo

coq-community · Jan 30, 2024 · 2a3429e · 2a3429e
1 parent ee5bf1c
commit 2a3429e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/docs/home.md b/docs/home.md
@@ -1,10 +1,14 @@
-<p style="text-align: center"><img src="trocq-logo-text.png" alt="Trocq logo" width="50%" /></p>
+<p style="text-align: center"><a href="https://github.com/coq-community/trocq"><img src="trocq-logo-text.png" alt="Trocq logo" width="50%" /></a></p>
 
+[![GitHub repository][github-shield]][github-link]
 [![Contributing][contributing-shield]][contributing-link]
 [![Code of Conduct][conduct-shield]][conduct-link]
 [![Zulip][zulip-shield]][zulip-link]
 [![DOI][doi-shield]][doi-link]
 
+[github-shield]: https://img.shields.io/github/v/release/coq-community/trocq
+[github-link]: https://github.com/coq-community/trocq
+
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
 [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md
 

diff --git a/docs/sidebar.md b/docs/sidebar.md
@@ -3,6 +3,7 @@
 </a></p>
 
 - [Home](home.md)
+- [GitHub repository](https://github.com/coq-community/trocq/)
 - [Quick start](quick-start.md)
   + [Type isomorphisms](/quick-start?id=proof-transfer-with-type-isomorphisms)
   + [Directed relations](/quick-start?id=using-trocq-with-directed-relations-sections-and-retractions)