creating new workspace: git repo: branch: umlauts cause "@branch" to be repeated

[thediveo]

What happened?

1. Create Workspace
2. Workspace source: Git Repo
3. a public repo, such as: [email protected]:thediveo/irks
4. Advanced...
5. enter branch, add a typo umlaut: devä
6. press backspace to remove umlaut
7. @dev gets appended another time, instead of correctly updating the existing one.

What did you expect to happen instead?

only a single @branchname to be correctly updated.

How can we reproduce the bug? (as minimally and precisely as possible)

See steps 1. to 7. above.

Local Environment:

• DevPod Version: v0.6.5
• Operating System: linux
• ARCH of the OS: AMD64

DevPod Provider:

• Local/remote provider: docker

Anything else we need to know?
äöüß...? 😁