GitHub repository: JoshuaKGoldberg/dt-mergebot
Description: The bot which handles auto-merging your PRs