Fix git push behaviour.