GitHub repository: CarmJos/MergeBot
Primary language: Python
Description: A simple python script to merge all filtered PRs in a GitHub user/org/repository.