From 0b96889da786513d0522b8444cb0f3514b7edb3b Mon Sep 17 00:00:00 2001
From: Yves Fischer <yvesf-git@xapek.org>
Date: Tue, 27 Nov 2018 01:00:40 +0100
Subject: warn if PUBLIC file is missing

---
 git-repo | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/git-repo b/git-repo
index 5917e5c..9feacd7 100755
--- a/git-repo
+++ b/git-repo
@@ -49,6 +49,9 @@ do_list() {
 		fi
                 if [ $(( 0$repo_path_mode & 07 )) -gt 0 ]; then # public
 			permissions="$permissions PUBLIC"
+            if ! [ -f "$repo_path/PUBLIC" ]; then
+                permissions="${permissions}-but-cgit-marker-file-missing"
+            fi
 			color="$C_bg_magenta"
 		fi
 		printf "%s%-60s (%s) (%s)\n" "$color" "$repo_path$C_bg_default" "$permissions" "$shortdesc"
-- 
cgit v1.2.1