Cannot switch cloud branch locally after branch deletion

[jakubmazanec]

• EdgeDB Version: 5.4+867a505
• EdgeDB CLI Version: EdgeDB CLI 5.2.2+270dbfa
• OS Version: Windows 11

Steps to Reproduce:

1. GitHub-EdgeDB integration created new branch after I pushed a git branch (e.g. "update") to a repo on GitHub.
2. On my laptop, in my project directory, I switched to that new EdgeDB branch.
3. I deleted the git branch (from the GitHub repo) and the GitHub-EdgeDB integration deleted the EdgeDB branch.
4. When locally trying to switch to another EdgeDb branch using e.g. edgedb branch switch main, I get an error:

edgedb error: Connection error: UnknownDatabaseError: database branch 'reponame-update' does not exist

I don't care this branch doesn't exist, the branch I'm trying to switch to does.