chiark / gitweb /
my-debmirror: Continue on errors so that the non-US mirror is updated even