Auto-assignment is configured here: For issues: https://github.com/BlockstreamResearch/SimplicityHL/tree/master/.github/ISSUE_TEMPLATE and for PRs: https://github.com/BlockstreamResearch/SimplicityHL/blob/master/.github/CODEOWNERS. I believe we will need to change these.