git 2.0: push is simple by default