Some tools to manage my GitHub repos. Not generally useful. - View it on GitHub