commit ee7071298a8dc215d7113b95656387e176ca2484
parent 368438971480f65deb324c7d565f1f488d1e7963
Author: Thomas Vigouroux <thomas.vigouroux@univ-grenoble-alpes.fr>
Date: Wed, 10 Apr 2024 19:28:40 +0200
fix: remove HEAD name in repo overview
Diffstat:
1 file changed, 0 insertions(+), 1 deletion(-)
diff --git a/templates/repo.html b/templates/repo.html
@@ -4,7 +4,6 @@
<button hx-get="/repos/{{.Name}}/log">log</button>
<button hx-get="/repos/{{.Name}}/tree/{{.Repo.Head.Shorthand}}">tree</button>
</div>
-<par>HEAD is {{.Repo.Head.Shorthand}}</par>
<pre>
{{.Readme}}
</pre>