deathmtn

Sometimes you want to make a repo public badly because of an unexamined GitHub sharing habit, and then you realize that you'd have to put 80% of the files in .gitignore to keep private stuff out.