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

Rename misnamed configs #102

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

Rename misnamed configs #102

wants to merge 3 commits into from

Conversation

rossjrw
Copy link
Member

@rossjrw rossjrw commented May 8, 2024

@rossjrw rossjrw added the bug Something isn't working label May 8, 2024
rossjrw added 3 commits July 19, 2024 07:53
Speeds up the delete phase. This does mean that user configs will be a
few mins out of date during the delete phase, but that's probably fine,
right?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Fix user config titles
1 participant