Really interesting solution to the AI PR problem. Keeping the maintainers in the driver's seat for issue prioritization is definitely the right approach.
How are you handling the token allocation under the hood, is this managed via a GitHub App integration, and can backers target specific issues or just the repo as a whole?
How are you handling the token allocation under the hood, is this managed via a GitHub App integration, and can backers target specific issues or just the repo as a whole?