While the build farm remains offline this might be a reasonable solution. I may end up restricting the nightly builds to Ubuntu Trusty and Debian Wheezy for now.
Tim, if it could be useful, I could build Debian packages of the GIT repo on my own computer (using pbuilder) and then upload them somewhere on the TDE servers, so they would be available as a temporary replacement until we come up with a solution for the original problem.
Thank you for the offer! While the backup build systems *should* be able to handle the load of only building for Trusty and Wheezy (once I get them online), if they fail or end up building too slowly I may have to take you up on this.
Tim