Add a --ignore-failure flag to push-all script