>>jwilk+(OP)
And yet, branches disappearing is not uncommon. Changing your remote branch name is trivial, but being made aware of it is the problem. It's been a while since this change was done, but if it was still being proposed, the git client saying "oi, this branch changed name" and offering to update things would be a bit more user friendly.