[Sanddancer]

If you've been using the repo for a long time and you didn't have a local copy to use in case github went down, etc, your deploy was already broken. Having local mirrors of third party repos, and pulling those into your build system is fairly trivial, and will save a lot of heartache in cases like this.

[noir_lord]

Especially if you want to be sure that a version you pegged exactly for stability will be around in a year or two (looking at you node land).