A bot to automatically update and merge GitHub PRs

 (github.com)

1 points | by mooreds 3 hours ago

0 comments