From 957855ffdb73b40402b30771e64e73b37cca18b8 Mon Sep 17 00:00:00 2001 From: June McEnroe Date: Thu, 4 Feb 2021 17:10:14 -0500 Subject: Use owner-filter for repo page headers Previously it was only used if owners were displayed on the index. --- ui-shared.c | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/ui-shared.c b/ui-shared.c index 2bdec5d..1858ea4 100644 --- a/ui-shared.c +++ b/ui-shared.c @@ -1027,7 +1027,13 @@ static void print_header(void) if (ctx.repo) { html_txt(ctx.repo->desc); html("