deleted file that caused push to fail