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