So I've heard. I know someone has to manage these repos, and they have to have some sort of process for it, but it's all hidden behind 1990s websites and mailing lists XD