I have removed the old copies of built/* from DNS repo and force-pushed it. Everyone will have to re-clone their copy of the DNS repo.
nb
_______________________________________________ infrastructure mailing list -- infrastructure@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to infrastructure-leave@xxxxxxxxxxxxxxxxxxxxxxx
