git-repo

Tools for sharing git bare repositories
git clone git://git.meso-star.fr/git-repo.git
Log | Files | Refs | README | LICENSE
commit c956a2dbb2ab4ae3e253d7249afc7e69e37ddea0
parent e08e56f6fecd793ef5520f26118b4326811b12ee
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Sat,  6 Sep 2025 12:29:05 +0200

git-publish: correction of WWW resource deployment

The presence of resources in the WWW directory was only guaranteed when
a repository was unpublished. However, this should be strictly the
opposite.

Diffstat:

Mgit-publish | 2+-


1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/git-publish b/git-publish
@@ -303,7 +303,7 @@ fi
 check_directory "${dir_git}"
 check_directory "${dir_www}"
 
-if [ ! "${delete}" -eq 0 ]; then
+if [ "${delete}" -eq 0 ]; then
   check_resources "${dir_www}"
 fi