Sorry for filing it in the wrong project; there were no obviously applicable projects (Continuous Integration perhaps?)

http://downloads-distro.mongodb.org/repo/ is down.

Perhaps you could consider monitoring it and add some self-recovery as I am sure many of your users use this?

\o