This is a script to fetch releases of a particular set of openly licensed icons from a remote DAV server and to push to a public Git repository.
This script is somewhat convoluted due to quirks in response time from the DAV server it was written for, and pretty site specific.