Make git use old (matching) behavior when pushing