graydon/bors
View on GitHub ↗ ★ 450 Python
Integration robot for buildbot and github
3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2014-12-09 · latest 2025-01-20
20082026
-
…reviews it, they have feedback, I modify the PR, they're happy, and it passes to bors (originally: https://github.com/graydon/bors ) which then tries to see whether this can be merged with Rust and if so does so. It is nice to know that if…
comment by tialaramex · 2025-01-20 · in I'll think twice before using GitHub Actions again -
Historical context: https://github.com/graydon/bors
comment by nicoburns · 2022-04-21 · in Ask HN: How are pull requests integrated in a repo with high commit frequency? -
Buildbot and Bors are also hosted on Github. :D https://github.com/rust-lang/rust-buildbot https://github.com/graydon/bors/tree/rust
comment by Gankro · 2014-12-09 · in Golang on GitHub