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

skulidropek merged 3 commits intomainProverCoderAI/docker-git:mainfrom

ci/issue-75-open-commandProverCoderAI/docker-git:ci/issue-75-open-commandCopy head branch name to clipboard