Make the push-all script complain about bad lines