A script to maintain the various repositories mirrored at the MediaWiki mirror on GitHub. See also the OpenStreetMap mirroring scripts.
A script to maintain the various repositories mirrored at the MediaWiki mirror on GitHub. See also the OpenStreetMap mirroring scripts.