Random things I’ve stumbled on in the last week, and that I am sure I will need to know again. …permanently delete some files from Github? Like when you check…