As discussed in the meeting today, we're switching to homu <http://github.com/barosl/homu>, as of now.
To review a pull request, now instead of commenting on the commit itself, comment on the pull request. You can approve PRs in different ways: - @bors-servo: r+ <SHA> This will approve the given SHA for merging. - @bors-servo: r+ This will approve the last commit on the PR for merging. If the PR changes this approval will be invalidated. - You can also use r=foo instead of r+ as usual There are more commands listed here <http://build.servo.org/homu/>. The bot behind the invocation is likely to change to @homu: or @bors:, but for now we don't have the support in homu's codebase. Bors is dead, long live homu! -Manish Goregaokar _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
