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