This repository was archived by the owner on Jan 25, 2024. It is now read-only.
This repository was archived by the owner on Jan 25, 2024. It is now read-only.
Collection: Delete Command #52
Description
$ collection delete foo
# git checkout foo
# git pull
# git push origin foo --delete
# git checkout master
# git pull
# git branch -d fooThere needs to be an -f option to force git branch -D foo.