summary refs log tree commit diff
path: root/src/tools/publish_toolstate.py
AgeCommit message (Expand)AuthorLines
2024-10-14Resolved python deprecation warning in publish_toolstate.pyAlex Gaynor-1/+3
2024-05-15CI: fix toolstate publishingJakub Beránek-2/+1
2023-06-16Apply changes to fix python linting errorsTrevor Gross-8/+8
2023-04-11rename maybe_delink to maybe_remove_mentionDaniPopes-3/+3
2023-04-10Fix remaining typosDaniPopes-3/+3
2023-01-29Rollup merge of #96763 - Abdur-rahmaanJ:patch-1, r=Mark-SimulacrumMatthias Krüger-61/+0
2023-01-22fix maintainer validation messageAbdur-Rahmaan Janhangeer-61/+0
2022-09-21Remove miri from the submodule list and require it for CI to passOli Scherer-13/+4
2022-08-27Sunset RLSEric Huss-3/+0
2022-08-20Remove Steve from toolstate failure notices.Eric Huss-4/+4
2022-08-20Remove rustfmt from publish_toolstateEric Huss-3/+0
2022-06-27Remove eddyb from miri failure pingsOli Scherer-1/+1
2021-09-15Disable validate_maintainers.Eric Huss-1/+7
2021-02-20Fix some Python2->3 error in publish_toolstate.py by type-checking itkennytm-16/+34
2020-12-05Ping me when nomicon's toolstate is brokenYuki Okushi-1/+1
2020-10-13Remove `mark-i-m` from rustc-dev-guide maintainersYuki Okushi-1/+1
2020-10-01Remove outdated line from `publish_toolstate` hookLeSeulArtichaut-3/+0
2020-08-26Avoid function-scoping global variablesMark Rousskov-9/+9
2020-08-23publish-toolstate: show more context on HTTP errorEric Huss-1/+9
2020-08-12toolstate: remove embedded-resources alumni from toolstatePietro Albini-4/+1
2020-08-05Label rustfmt toolstate issues with A-rustfmtAaron Hill-1/+1
2020-07-19tools: update rustfmt toolstate maintainersCaleb Cartwright-1/+1
2020-05-22Allow rust-highfive to label issues it creates.Elinvynia-1/+16
2020-05-03Remove clippy from some leftover lists of "possibly failing" toolsOliver Scherer-5/+0
2020-04-15update tool maintainersPietro Albini-1/+1
2020-04-10Enforce Python 3 as much as possibleGuillaume Gomez-2/+9
2020-04-04Auto merge of #69898 - spastorino:rename-rustc-guide2, r=Xanewokbors-3/+3
2020-04-04Update src/tools/publish_toolstate.pyIgor Matuszewski-1/+1
2020-03-25Revert "Automatically tag as nominated for T-compiler"Santiago Pastorino-1/+0
2020-03-24Move rustc-guide submodule to rustc-dev-guideSantiago Pastorino-3/+3
2020-03-04more toolstate commentsRalf Jung-5/+4
2020-02-25Do not ping PR reviewers in toolstate breakageYuki Okushi-4/+3
2020-02-20Do not ping the infrastructure team on toolstate changesMark Rousskov-2/+2
2020-02-07PEP8 format spacingChris Simpkins-6/+11
2019-11-18Add JohnTitor to rustc-guide toolstate notification listYuki Okushi-4/+4
2019-10-10Don't cc rust-lang/compiler for toolstate changesvarkor-1/+1
2019-09-16avoid duplicate issues for Miri build failuresRalf Jung-5/+14
2019-09-16ci: remove projektir from toolstate notificationsPietro Albini-1/+1
2019-09-16ci: convert maintainer list in publish_toolstate to a setPietro Albini-22/+23
2019-09-16ci: address publish_toolstate review commentsPietro Albini-10/+10
2019-09-16ci: rename Gankro to Gankra in toolstatePietro Albini-1/+1
2019-09-16ci: ensure all tool maintainers are assignable on issuesPietro Albini-0/+60
2019-09-03Add Yaah to clippy toolstain notification listJane Lusby-1/+1
2019-08-28Notify me (flip1995) when Clippy toolstate changesflip1995-1/+1
2019-08-21add amanjeevMark Mansi-1/+1
2019-07-23more commentsRalf Jung-1/+4
2019-07-23more callback docsRalf Jung-0/+3
2019-07-09Add spastorino for rustc-guide toolstateWho? Me?!-1/+1
2019-07-06Track rustc-guide on toolstateAndré Luis Leal Cardoso Junior-0/+2
2019-06-21do as tidy saysRalf Jung-1/+2