Comment 2 for bug 116033

Thanks, I'll keep that in mind—but it wouldn't have helped: the other branch already existed, and I was trying to push to it, but typod a different branch name. Can you remove branches entirely? This has also happened to me with branches that I started intentionally but then actually abandoned, and don't want to show up for other users.