On Wed, Mar 1, 2023 at 1:21 AM Max Kellermann <max+...@blarg.de> wrote:
> On 2023/02/28 22:31, Dmitry Stogov <dmitrysto...@gmail.com> wrote: > > > https://github.com/php/php-src/commit/0270a1e54c0285fa3c89ee2b0120073ef57ab5fa > > This kind of change was favored by a supermajority. > > You argue that this supermajority vote is irrelevant, and formally it > indeed is, but pondering about formalities is kind of ignorant against > the now well-known community opinion. > > > > https://github.com/php/php-src/commit/b98f18e7c3838cf587a1b6d0f033b89e9909c79d > > No vote was made on this, therefore this doesn't violate any community > rules, does it? > Please reread https://wiki.php.net/RFC/voting#voting RFC is accepted by a supermajority of the primary vote. The secondary votes may be used to make decisions about implementation details. Thanks. Dmitry. > > If you think this should be reverted, explain why. > > > > https://github.com/php/php-src/commit/42577c6b6b7577c57c161ee4a74cb193382bf1e0 > > Favored by supermajority, see above. > > > > https://github.com/php/php-src/commit/c7637ed1c03f556c6fb65884cfc5bfea4920b1c7 > > No vote, no rule violation, see above. > > > > https://github.com/php/php-src/commit/371ae12d890f1887f79b7e2a32f808b4595e5f60 > > As you see in the commit message, this implements an (unwritten) rule > cited by Nikita Popov (which is now written as of > https://github.com/php/php-src/pull/10630). I personally don't agree > with this rule (there's a thread on this mailing list about it), and I > would favor reverting this commit - I only submitted this trying to > help with implementing a rule even though I don't agree with it. > > If this gets reverted, then https://github.com/php/php-src/pull/10630 > should be reverted as well. Again, not my opinion, I'm just trying to > help implement somebody else's opinion. > > Max >