Git config change: push default = matching.