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.

• …permanently delete some files from Github? Like when you check in something to the wrong project accidentally.
• …temporarily show a localhost web service to someone? Horribly dangerous but sometimes useful.
• …peek inside really big files from the command line? Nothing earth shattering here, I just forget to use these tools.
• …edit Python code? Pycharm worth a look.
• …structure a flask application? One man’s opinion.
• …use ansible to modify a file or install a package or whatever? All the modules are listed here.
• …use graphviz to make a certain graph or a certain shape node?
• …build a python command line? Seems less obtuse than some of the solutions I’ve looked at.
• …pick a messageq framework to use? No idea but this post suggests that perf differences are dramatic.
• …snapshot vagrant boxes? Very handy if you are trying out a lot of config options.
• …install packages from other repositories on CentOS?