All this menu entries point to project/admin/repoadmin.php?
repo=xxx&group_id=xxx

I am not sure about the "repo=xxx" argument. Another option is just
have one entry for all the repo types, "Manage Repositories" and list
all the repositories there (separated by types).
Any comments?
Aleix