proper pre-push hook implementation#2811
Merged
extrawurst merged 33 commits intomasterfrom Jan 18, 2026
Merged
Commits
Commits on Dec 18, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 15, 2026
Commits on Jan 16, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed