We inadvertently pushed a bad commit to our upstream master.
To clean up, I hoped that the normal downstream approach would work,
rename the bad branch, clearing the way for the good branch to take over.
Unfortunately there appears to be a privilieged status for the upstream
master branch. So we have an undeletable wrongMaster branch that is the
default branch for http://git.eclipse.org/c/ocl/org.eclipse.ocl.git and
a deletable master branch that represents our best endeavours.
Is there a way to transfer the privileged status from wrongMaster to master?
One commit is bad? How bad is this bad commit? If it's just an error in one commit you can simply revert the commit and then push that reversion. No need for any new branches or anything else. If other related commits have happened since, you can revert them one at a time, in reverse order.
If the problem is that something got pushed that should never have been exposed, for instance for a security reasons, then you really need to get that commit out the history altogether, not just revert it or create a new branch. That topic isn't appropriate for an EGit forum. Do a web search for re-writing history in Git to find out more.
Regarding the 'privileged status' most likely that's just the value of the symbolic reference HEAD in the server repository. The reset command can be used to point HEAD somewhere else.