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.