fixed the donotpush file and relevant changes elsewhere.