It seems to me that the current practice of maintaining repositories is very inefficient on Lesswrong. Only one person maintains each repo, the repos can’t be found easily, the different kinds of discussions and comments get mixed together, there isn’t enough transparency, ... . If we start encouraging the community to use git hosters like Github, Gitlab, etc we will have a much better infrastructure, and will be more discoverable, too. Compare the current approach https://www.lesswrong.com/posts/sEaDmtwrmTC7kTqcf/repository-repository with the git approach https://github.com/jonatasbaldin/awesome-awesome-awesome. I think that having good repositories is one of the most fundamental needs in our quest to achieve instrumental rationality.