fix(app): publish single docker-git dist without workspace lib runtime dep#79

skulidropek merged 4 commits intoProverCoderAI:mainProverCoderAI/docker-git:mainfrom

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