Given how helpful Rob has been, that he has become familiar-enough with the source, git, and the tools to work on ZC to the extent of adding new features without aid, and his willingness to do builds, I'd like to elevate him to full dev status.

He seems to have gotten the rules on doing merges in his head, and is now being more careful, so I think that won't be an issue--although I won't be giving him ownership on the repo, just merge access.

What are your thoughts here?

(Given that jman is pseudo-retired, if he doesn't respond, that's fine.)

I'm pretty sure that ultimately, it's my call here, but I want to gather your thoughts on this, before I do anything.