Enable curl --compressed
Avoid dumb old “git push” default
Use “git apply --3way” by default