[ocdtrekkie]

Ah, I didn't catch that, and that's a plausible read. Because any contributor making an edit has push access to the source branch.