Revert "git: set push.default to 'simple'"

This change breaks my server.
This reverts commit cf241b1ebac6585cc24c81b9715dd422cd18167e.
add a stat aliase