When repos are community-managed, it’s easier to work under the OpenMRS organization, rather than spending time with redundant permissions management.
I would make the proposal/notice in the repo management category here on Talk. Technically, anyone who is a member of the OpenMRS org on GitHub should be able to move a repo. Socially, a /dev/2
should probably do this under direction and a /dev/3
or above should know when/how to do it when needed.
/cc @dkayiwa