about summary refs log tree commit diff
path: root/src/tools/publish_toolstate.py
AgeCommit message (Collapse)AuthorLines
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
Fix maintainer validation message State clearly why maintainer verification is not activating, ruling out the user thinking they misconfigured something.
2023-01-22fix maintainer validation messageAbdur-Rahmaan Janhangeer-61/+0
fix remove token check for maintainers fix: rm validate_maintainers function
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
They have not been involved in a while.
2022-08-20Remove rustfmt from publish_toolstateEric Huss-3/+0
Rustfmt is no longer tracked in toolstate, so this isn't necessary.
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
In 2e6f2e885506ee4, we added a main function to the publish_toolstate.py script. Unfortunately, we missed that the Python program implicitly declares global variables in that code, which means that adding a function changes variable scoping and breaks other code. This commit avoids introducing that function and adds a warning to future editors of the code.
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
This makes it easier to filter toolstate issues by the tool involved.
2020-07-19tools: update rustfmt toolstate maintainersCaleb Cartwright-1/+1
2020-05-22Allow rust-highfive to label issues it creates.Elinvynia-1/+16
Replace sets with lists.
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
Move rustc-guide submodule to rustc-dev-guide r? @pietroalbini
2020-04-04Update src/tools/publish_toolstate.pyIgor Matuszewski-1/+1
Co-Authored-By: Mateusz Mikuła <mati865@users.noreply.github.com>
2020-03-25Revert "Automatically tag as nominated for T-compiler"Santiago Pastorino-1/+0
This reverts commit 46a8fcdf3cf0eb64b5ac70b4847f1facbdd12be1.
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
To my knowledge, there is essentially never any particular action that the infra team needs to take on these pings, and they are currently relatively annoying.
2020-02-07PEP8 format spacingChris Simpkins-6/+11
2019-11-18Add JohnTitor to rustc-guide toolstate notification listYuki Okushi-4/+4
Also update org names of some books
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
They don't contribute to rust-by-example anymore.
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
GitHub only allows people explicitly listed as collaborators on the repository or who commented on the issue/PR to be assignees, failing to create the issue if non-assignable people are assigned. This adds an extra check on CI to make sure all the people listed as tool maintainers can be assigned to toolstate issues. The check won't be executed on PR builds due to the lack of a valid token.
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
2019-06-21don't make PR author assignee; that break creating the issue when they are ↵Ralf Jung-1/+0
not a team member
2019-06-21show HTTP error bodyRalf Jung-1/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 17:19:47 +0000