> 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".