Ranger is the GitHub bot for repository maintainers. Ranger helps automate common tasks like merging PRs, closing issues, creating tags, deleting comments and branches, and more!