A "Hello, world!" repository