Bors link in CONTRIBUTING.md


#1

bors link in CONTRIBUTING.md is a dead link. (Link does not finish loading and times out.) It links to buildbot.rust-lang.org, which should be buildbot2.rust-lang.org. I guess this should be fixed.

On the other hand, why are we having buildbot2.rust-lang.org? Does anything use original buildbot.rust-lang.org somehow? Shouldn’t buildbot.rust-lang.org address point to the buildbot2.rust-lang.org machine?


#2

Furthermore ‘buildbot’ is a completely inaccurate description, since that machine hosts no buildbot instance at all.


#3

Maybe build.rust-lang.org, like build.servo.org.


#4

The link was updated in https://github.com/rust-lang/rust/pull/43282.