> > It would be about time to stop calling that role "committer", btw, as > > with `git` everyone has commit rights, we should find some other word > > (same problem with most other projects). > > Indeed. Obviously we should call it "pusher". How about core team? Pusher sounds so druggy.