Skip to content

Conversation

@jimmidyson
Copy link
Member

If there is no mirror configuration then this file is unnecessary so do not
create it.

Depends on #1039.

@github-actions
Copy link
Contributor

This PR/issue depends on:

@github-actions github-actions bot added the fix label Feb 11, 2025
If there is no mirror configuration then this file is unnecessary so do not
create it.
@jimmidyson jimmidyson force-pushed the jimmi/remove-empty-hosts-toml branch from cd3f504 to 55a75df Compare February 11, 2025 20:25
@jimmidyson jimmidyson closed this Feb 11, 2025
@jimmidyson jimmidyson deleted the jimmi/remove-empty-hosts-toml branch February 11, 2025 20:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants