Checking if git push does what I want it to.