Revert "Fix git push behaviour."

This reverts commit c2b6eae0fd04d482ae3452da8e29699c6579079e.