A hello world for Github