On Fri, Jul 12, 2024 at 12:58:15PM -0700, Paul Ramsey wrote:
> Hey all,
> Even has been occasionally gardening our issues list, and recommending issues
> to close and fixing things, As He Does, and I would like to add him to the
> GitHub team and committers so he can do these things directly.
> I
+1, definitely
Dan
On Fri, Jul 12, 2024 at 7:30 PM Paul Ramsey wrote:
>
> Hey all,
> Even has been occasionally gardening our issues list, and recommending issues
> to close and fixing things, As He Does, and I would like to add him to the
> GitHub team and committers so he can do these things
> 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".
> > 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.
On Wed, Jul 17, 2024 at 01:25:23AM -0400, Regina Obe wrote:
> > > 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 ca
