modify git push behaviour