verwijderen van onnodige files op github