It has been a while since GitHub upgraded their team management and a while ago since we migrated from “Partial Committers” and “Full Committers” to Dev Stages. We finally cleaned up some of the history in the OpenMRS GitHub orgs team assignments as of 28-Sep 12:00 UTC.
If you had push access to a repo within github.com/openmrs and lost it, please report your github ID and the repository either here or to the helpdesk.
Yes, the idea is that /dev/4 and /dev/5 will handle PRs. (And sometimes someone from a lower dev stage will be temporarily granted push access to openmrs-core, e.g. because they’re a release manager or something like that.)