push: git should push all