A dummy repository for testing github-related things