Remove GitHub scripts we don't use anyway