Hide deleted branches on the index page

To keep the page length down. All branches can still be seen on the page for
specific repositories.
This commit is contained in:
Christopher Baines 2019-09-29 17:12:50 +01:00
parent e486ba6274
commit 48bdb35f3e

View file

@ -282,7 +282,9 @@
'(p "No branches")
(table/branches-with-most-recent-commits
repository-id
branches-with-most-recent-commits))))))
(filter (lambda (data)
(not (string-null? (second data))))
branches-with-most-recent-commits)))))))
git-repositories-and-revisions)))))
(define (view-statistics guix-revisions-count derivations-count)