On 01/22/11 13:32, Theo Chatzimichos wrote: > Well, the distinction for unofficial/official overlays happen mostly in > layman > -L, I don't think users pay attention to our git repo list. Furthermore, I > got > at least three requests from developers to move their repo from user/ to dev/ > (same problem when devs retired). This distinction doesn't make any sense.
Three request over what time? Compared to a screen height of user repos created, maybe that's not much. Sebastian