fix(docker-git): prefer live runtime and block duplicate identities#212

skulidropek merged 1 commit intomainProverCoderAI/docker-git:mainfrom

codex/c7f9577-runtime-identitiesProverCoderAI/docker-git:codex/c7f9577-runtime-identitiesCopy head branch name to clipboard