`git ws push` now pushes ALL branches by default