Last May, TravisCI announced that they were going to consolidate all
open source travis-ci.org users under travis-ci.com instead. At the same
time, GitHub announced the deprecation of their Services feature, which
was the basis for the travis-ci.org CI integration. TravisCI created a
new GitHub Application, but it only supports travis-ci.com repositories.
With many thanks to Pietro Albini from the Rust ops teams (who not only
implemented missing support for the new GitHub checks API to homu [1],
but also created a tool [2] to automatically migrate GitHub repositories
from the old setup to the new one), I have completed the migration of
every repository under the Servo organization, and successfully merged a
PR in the gleam repo using the new setup [3].
If you attempt to merge a PR and find that something isn't working
right, please let me know! Enjoy the new commit status pages on your
PRs! [4]
Cheers,
Josh
[1] https://github.com/rust-ops/homu/pull/10
[2] https://github.com/pietroalbini/travis-migrate/
[3] https://github.com/servo/gleam/pull/181
[4] https://github.com/servo/servo/pull/22660/checks
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo
