pile

commit 80577a8e3ca83db459682bca7a8554ca68dff0af
parent 8c252a85e9e73cd803c85593321c05e66b3c9ad8
Author: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date:   Sun,  4 Jan 2026 22:57:48 +0100

Fix a couple of nits with stagit setup

* s/--all/--mirror, to make sure tags are shown;
* sort repositories in main landing page.

Diffstat:
M
git/post-receive
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/git/post-receive b/git/post-receive
@@ -10,7 +10,7 @@ declare -r WWW_REPO_DIR=$(git remote get-url www)
 
 v () {( set -x ; "$@" )}
 
-v git push --all --force www
+v git push --force --mirror www
 
 cd "${WWW_REPO_DIR}"
 v git update-server-info
@@ -18,5 +18,5 @@ v stagit "${PWD}"
 
 cd ..
 # TODO bash≥4.4: readarray -d '' < <(dirname -z */HEAD)
-v find -name HEAD -exec dirname -z '{}' '+' |
+v find -name HEAD -exec dirname -z '{}' '+' | sort -z |
     v xargs -t0 stagit-index > index.html