Skip to content

Block git push --prune in the pre-bash guard#40

Merged
cgraf78 merged 1 commit into
mainfrom
fix-push-prune-guard
Jul 2, 2026
Merged

Block git push --prune in the pre-bash guard#40
cgraf78 merged 1 commit into
mainfrom
fix-push-prune-guard

Commits

Commits on Jul 2, 2026