]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #9963 - ehuss:highfive-triagebot, r=xFrednet
authorbors <bors@rust-lang.org>
Sun, 27 Nov 2022 16:20:05 +0000 (16:20 +0000)
committerbors <bors@rust-lang.org>
Sun, 27 Nov 2022 16:20:05 +0000 (16:20 +0000)
Migrate from highfive to triagebot

This migrates this repository from using the highfive bot to using triagebot (aka rustbot).

This should not be merged without coordinating the removal of the highfive webhook and/or merging https://github.com/rust-lang/highfive/pull/435.

changelog: none


Trivial merge