removed file that had been erroneously pushed