Also drop this branch at thend end so that "git push --all" works.