[codex] Install plan-to-git from main#421

skulidropek merged 1 commit into

ProverCoderAI:mainProverCoderAI/docker-git:mainfrom

skulidropek:codex/use-latest-plan-to-git-mainskulidropek/docker-git:codex/use-latest-plan-to-git-mainCopy head branch name to clipboard