mybin

commit ffd19f7c1fd7371390814bc8a8c9b53e971e042e
parent 814f7ba41ffcea16b1fb5e74c7d92e87e996101f
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Fri, 17 Oct 2025 09:44:51 +0200

disable stagit cache -- avoids duplicate commits

Diffstat:
stagit-post-receive.sh
 | 
3
+++

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/stagit-post-receive.sh b/stagit-post-receive.sh
@@ -54,6 +54,9 @@ printf "[%s] stagit HTML pages... " "${d}"
 mkdir -p "${destdir}/${d}"
 cd "${destdir}/${d}" || exit 1
 
+rm -f "${cachefile}"
+rm -rf "commit"
+
 # remove commits and ${cachefile} on git push -f, this recreated later on.
 if test "${force}" = "1"; then
 	rm -f "${cachefile}"