git push origin --delete branch1 branch2 branch3