make --exec=... option to git-push configurable