Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:106888
MIME-Version: 1.0
References: <CAF+90c8EvfFPqjRJjJ3T-qTfLiWn7aZzCrGpk7R3yNFLT1qWjQ@mail.gmail.com>
 <1686643.PblvKQRnJp@mcmic-probook> <190b7291-812e-4337-bd09-950dc30c655a@Spark>
 <2157489.0uZv62oTo4@mcmic-probook>
In-Reply-To: <2157489.0uZv62oTo4@mcmic-probook>
Date: Fri, 6 Sep 2019 08:33:34 +0300
Message-ID: <CAJW__o0JeTPQjmQ2AvQBzxppqhPtXvX0BhnysdUp4LX0aTjk4w@mail.gmail.com>
To: =?UTF-8?Q?C=C3=B4me_Chilliet?= <come@opensides.be>
Cc: Internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] [RFC] Union Types v2 (followup on github usage)
From: kalle@php.net (Kalle Sommer Nielsen)

Den tor. 5. sep. 2019 kl. 13.22 skrev C=C3=B4me Chilliet <come@opensides.be=
>:
> Because the PHP project should avoid depending on a privately owned centr=
alized service for its technical discussions, and should not encourage (som=
e would say force) people to use such platforms.
>
> PHP is already on github but it=E2=80=99s only a mirror, the main git rep=
ository is at git.php.net .

As an old timer around here, I feel very strongly about moving the
medium and I prefer to be on the PHP.net infrastructure. Clearly one
of our biggest issues with that as the PHP organization is that we
poorly maintain it, and I think it could be time to rather invest into
renewing that effort instead. It seems like many have an issue with
subscribing to internals (I know it was broken for the longest time by
using the webform), but that is something we can telegraph better on
the php.net website for one thing and try to put resources into
figuring this problem out to gain momentum for more developers to join
the effort of internals development.

Using Github for PRs and relevant discussions for that is perfectly
fine with me, but switching to Github for RFCs is a big -1 from me, it
is really difficult to read new comments if you are not email
subscribed and even then it still remains hard to follow. The
individual moderation required to also sort out irrelevant comments is
also one thing I personally would not want to deal with either.

--=20
regards,

Kalle Sommer Nielsen
kalle@php.net