[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Thoughts on committers pushing simple changes from other committers?
From: |
Leo Famulari |
Subject: |
Re: Thoughts on committers pushing simple changes from other committers? |
Date: |
Tue, 21 Feb 2023 12:58:59 -0500 |
On Tue, Feb 21, 2023 at 12:54:32PM +0000, Christopher Baines wrote:
> Thoughts?
I think it's fine to push other people's patches. Already, we push the
patches of non-committers. It's no big deal to push committers' patches.