[mpbb] branch master updated (6ead587 -> 3bfa79a)

[Joshua Root]

Joshua Root (jmroot) pushed a change to branch master
in repository mpbb.

    from 6ead587  Disable new mirroring script temporarily
     new b887447  Lower the bar for recording mirror success
     new f3f5348  Better workaround for port mirror bug
     new 3bfa79a  Re-enable use of mirror-multi.tcl

The 3 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 mpbb-mirror-distfiles  |  4 +--
 tools/mirror-multi.tcl | 80 ++++++++++++++++++++++++++++++++++++--------------
 2 files changed, 60 insertions(+), 24 deletions(-)