Delete github~