GitHub repository: rndquu/automated-merging
Description: Automatically merges pull-requests that do not have activity beyond a certain deadline.