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

Remove project-stable-mir adhoc group

Browse source
This commit is contained in:
Jakub Beránek 2026-02-08 09:23:04 +01:00
parent c19c780d45
commit 5e33ea7b92
No known key found for this signature in database
GPG key ID: 909CD0D26483516B
1 changed files with 0 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
triagebot.toml
View file

@ -1555,12 +1555,6 @@ style-team = [
"@joshtriplett", "@joshtriplett",
"@traviscross", "@traviscross",
] ]
project-stable-mir = [
"@celinval",
"@oli-obk",
"@scottmcm",
"@makai410",
]
project-exploit-mitigations = [ project-exploit-mitigations = [
"@cuviper", "@cuviper",
"@rcvalle", "@rcvalle",