cleanup

2026-09-06 08:02:01 +00:00
parent 134f0b0a7a
commit 7d29886975
2 changed files with 10 additions and 12 deletions
@@ -9,6 +9,8 @@
 set -euo pipefail
 cd "$(dirname "${BASH_SOURCE[0]}")"

+git push
+
 FORCE=false
 PRUNE=false
 for arg in "$@"; do