remove stuff that doesn't belong in GitHub