warn if PUBLIC file is missing

1 files changed, 3 insertions, 0 deletions

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"