deleting github auto generated things