This is a generic repository for working with/on Github.

It includes stuff that doesn't seem to belong to any other repository but should be present on Github.