GitHub repository: ConnectionMaster/bors-ng
Description: 👁 A merge bot for GitHub Pull Requests