Link from a revision to the git repository page

This commit is contained in:
Christopher Baines 2019-07-19 21:29:56 +01:00
parent 1f977f6c12
commit 1f1deac296
2 changed files with 7 additions and 5 deletions

View file

@ -426,8 +426,10 @@
`((h3 "Git repositories")
,@(map
(match-lambda
(((label url cgit-url-base) . branches)
`((h4 ,url)
(((id label url cgit-url-base) . branches)
`((a (@ (href ,(string-append
"/repository/" id)))
(h4 ,url))
,@(map
(match-lambda
((name datetime)