This repository has been archived by the owner on Jul 18, 2024. It is now read-only.
When fetching, ping the server before adding it #3
Labels
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
This way only servers that are actually online will be added, instead of having to do that manually later only to find out that some of the servers are offline.
The text was updated successfully, but these errors were encountered: