id,summary,reporter,owner,description,type,status,priority,milestone,component,version,severity,resolution,keywords,cc,blockedby,blocking 1845,Fix ImageJ 1.x mirror,dscho,dscho,"Since we cannot use rsync, we set up a mirror script. To be nice, we tried to use HEAD requests whenever possible (but quite a few directories do not have index.html files, making HEAD requests impossible). The Jenkins job ran twice a day: Unfortunately, this was still too much and we were asked to download a large ''.tgz'' file with the complete files every single night. So change the mirror yet again (the fifth iteration now).",defect,closed,major,imagej2-b7-ndim-data,Server Admin,,serious,fixed,,curtis justin.senseney@…,,1705