How do you permanently delete files from Github, use ansible to modify a file, and other nits

Random things I’ve stumbled on in the last week, and that I am sure I will need to know again.