feat(app): add open command for existing repo workspaces#81

skulidropek wants to merge 3 commits intoProverCoderAI:mainProverCoderAI/docker-git:mainfrom

skulidropek:issue-75skulidropek/docker-git:issue-75Copy head branch name to clipboard