I tried to merge and push code to openmrs-core - https://github.com/openmrs/openmrs-core/pull/1394 for this pull request, which I think is fairly straight forward. I then saw that the merge pull request button is also unavailable on github. I know this worked for me earlier, unless some permissions were changed.
Was this done as part of the developer stages changes?
