git removed erroneous file