Update mirrors data, optimize handling, and improve documentation #355
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "198-dynamic-update-of-the-manjaro-linux-mirror-pool-datafile"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Makefilecommands to streamline execution.mirrors.json.check_timestampfor efficient data fetching.Closes #198
requested review from @philm, @ste74, @romangg, and @yochananmarqos1
assigned to @fhdk
added 1 commit
85e1d4a8- Fix typo in docstring and update connection check URLCompare with previous version
mentioned in commit
621f124a4f