It would be great to figure out how to get them to build a branch, so as to avoid disrupting git master. Sorry!