> On Dec 31, 2017, at 07:25, Henk P. Penning <penn...@uu.nl> wrote: > > > I don't see how such a change can be kept local ; > how can it /not/ propagate to downstream mirrors?
If the JSON file was named using the mirror hostname then index.html can extract the name from the URL and it wouldn’t matter if the file was propagated downstream Graham
