deleting unnecessary file added by incorrect push