Scripts used to keep mirror.jmu.edu in sync with upstream