"git push" should push only the current branch