zed/script/update_top_ranking_issues
Joseph T Lyons 113546f766 Do not encourage additional ignored labels
We recently reduced the set of ignored labels down to a single label: "ignore top-ranking issues." It makes sense that we don't allow for multiple to be registered in this script now.
2024-06-12 10:57:33 -04:00
..
main.py Do not encourage additional ignored labels 2024-06-12 10:57:33 -04:00
poetry.lock Update top ranking issues script to take in a day interval 2024-01-28 18:09:11 -05:00
pyproject.toml Reinstate requirements.txt 2024-01-28 18:30:47 -05:00
pyrightconfig.json Update pyrightconfig.json 2024-03-29 13:38:17 -04:00
requirements.txt Bump PyGithub 2024-04-07 01:13:34 -04:00