Qiaochu_Yuan comments on Repository repository

[Qiaochu_Yuan]

Who was joking? I think that’s a great idea for a repository!