Respect agent-specific project rules in cloned repos#208

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

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