Skip to content

Chore: rename clean-caches to clear-caches#5472

Merged
georgesittas merged 1 commit intomainfrom
jo/rename_clean_caches_to_clear_caches
Oct 2, 2025
Merged

Chore: rename clean-caches to clear-caches#5472
georgesittas merged 1 commit intomainfrom
jo/rename_clean_caches_to_clear_caches

Conversation

@georgesittas
Copy link
Contributor

Small fixup– I meant this to be "clear", not "clean". The latter doesn't seem right.

@georgesittas georgesittas enabled auto-merge (squash) October 2, 2025 13:52
@georgesittas georgesittas merged commit d8b3e06 into main Oct 2, 2025
36 checks passed
@georgesittas georgesittas deleted the jo/rename_clean_caches_to_clear_caches branch October 2, 2025 14:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants