1 agent in the github-bot category, ranked by editorial priority.
AI GitHub bot that turns issues into pull requests automatically