Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Hunting down zombie TODOs: script + clean up #3405

Merged
merged 5 commits into from
Sep 22, 2023
Merged

Hunting down zombie TODOs: script + clean up #3405

merged 5 commits into from
Sep 22, 2023

Conversation

teh-cmc
Copy link
Member

@teh-cmc teh-cmc commented Sep 22, 2023

Added script to hunt down zombie issues, and fixed all existing ones.

This does not run on CI; run it manually yourself with:

./scripts/zombie_todos.py --token <GITHUB_TOKEN>

What

Checklist

@teh-cmc teh-cmc added the 🧑‍💻 dev experience developer experience (excluding CI) label Sep 22, 2023
@teh-cmc teh-cmc force-pushed the cmc/zombie_todos branch 2 times, most recently from 909ace2 to f0e300a Compare September 22, 2023 11:08
@teh-cmc
Copy link
Member Author

teh-cmc commented Sep 22, 2023

I'll clean these so we can get back to a clean slate, then disable the CI step.

@teh-cmc teh-cmc added the 🔨 testing testing and benchmarks label Sep 22, 2023
@teh-cmc
Copy link
Member Author

teh-cmc commented Sep 22, 2023

CI passes, now we disable it for now.
image

@teh-cmc teh-cmc marked this pull request as ready for review September 22, 2023 14:47
@teh-cmc teh-cmc added the exclude from changelog PRs with this won't show up in CHANGELOG.md label Sep 22, 2023
@teh-cmc teh-cmc changed the title Hunting down zombie TODOs in CI Hunting down zombie TODOs Sep 22, 2023
@teh-cmc teh-cmc changed the title Hunting down zombie TODOs Hunting down zombie TODOs: script + clean up Sep 22, 2023
@teh-cmc teh-cmc merged commit 7b58035 into main Sep 22, 2023
6 of 18 checks passed
@teh-cmc teh-cmc deleted the cmc/zombie_todos branch September 22, 2023 15:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🧑‍💻 dev experience developer experience (excluding CI) exclude from changelog PRs with this won't show up in CHANGELOG.md 🔨 testing testing and benchmarks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants