fix integration tests failing when `git config --global push.default` == simple

I recommend this one
This should still work once git hits 2.0, and allows people to finish the level with a simple git push (like I think was intended)