On 05/21/2014 08:06 AM, Omair Majid wrote: > > I will need to push that closed generated-configure.sh afterwards however > so that closed builds don't break. > Anything I need to do to ensure the pushes are co-ordinated correctly? Just make sure I notice the push and I'll fix ASAP .. -phil.