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

github.com

saved by: 0 people
related read on: Successfully Merging the Work of 1000+ Developers from the discussion