user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

assign marcoieni and jdno to infra-ci PRs

Browse source
This commit is contained in:
MarcoIeni 2025-02-10 16:28:57 +01:00
parent 8c04e39595
commit 1dc575ca2b
No known key found for this signature in database
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
triagebot.toml
View file

@ -1096,6 +1096,8 @@ bootstrap = [
infra-ci = [
"@Mark-Simulacrum",
"@Kobzol",
"@marcoieni",
"@jdno",
]
rustdoc = [
"@GuillaumeGomez",