Git push: remove redundant unused "push all" case