From 32427136b7434af53750d5a3c6da92c63fc0ef5d Mon Sep 17 00:00:00 2001
From: "codeberg.org" <codeberg@codeberg.org>
Date: Mon, 4 May 2020 21:20:56 +0200
Subject: [PATCH] var/www/pages/index.php : add comment

---
 var/www/pages/index.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/var/www/pages/index.php b/var/www/pages/index.php
index c804f77..0426dd9 100644
--- a/var/www/pages/index.php
+++ b/var/www/pages/index.php
@@ -49,6 +49,7 @@ if (end($parts) === '') {
 
 $file_url = implode("/", $parts);
 
+# If this is a folder or just empty, we add 'index.html' to the URL:
 $command = "sh -c \"cd '$git_root' && /usr/bin/git ls-tree 'master:$file_url' > /dev/null\"";
 exec($command, $output, $retval);
 if ($retval == 0) {