]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #98581 - ehuss:triagebot-mentions, r=Mark-Simulacrum
authorMatthias Krüger <matthias.krueger@famsik.de>
Mon, 27 Jun 2022 20:35:14 +0000 (22:35 +0200)
committerGitHub <noreply@github.com>
Mon, 27 Jun 2022 20:35:14 +0000 (22:35 +0200)
Add triagebot mentions.

This migrates the configuration of mentions from highfive to triagebot.

I also fixed a few broken paths (error_codes.rs src/librustdoc/html/static/themes src/librustdoc/html/static/themes/ayu.css).


Trivial merge