Re: Please stop anonymous login to edit.php.net
| From: | Christoph M. Becker | Date: | Mon, 26 Apr 2021 14:26:05 +0000 |
| Subject: | Re: Please stop anonymous login to edit.php.net | ||
| References: | 1 2 3 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387925@lists.php.net to get a copy of this message | ||
On 26.04.2021 at 15:06, Sergey Panteleev wrote:
> I can't say about other languages,
> but I currently use the editor only to track changes.
>
> George started to change the revcheck section [1],
> but it seems now the script is still taking data from git.php.net, not GitHub.
>
> If we can track the changes on that site, then there is no point in the editor (although I
> really like it).
>
> Also, if you look at the authorization history at edit.php.net, not many people go there.
>
> Does it make sense to restore the editor to work for everyone,
> or is it better to direct efforts to finish and deploy the new revcheck?
>
> [1] http://doc.php.gpb.moe/tools/revcheck/
Well, it seems the refcheck has been updated to also allow to check
Github[1], although I'm not sure whether that update will be used on the
server automatically. I can't check either, since doc.php.net appears
to be broken; the revcheck pages are empty now. That might have been
caused by a recent commit[2], but likely build-ops and build-ops.php
have not been adapted on the server yet.
Anyhow, I think we should work on revcheck (if there's the need for more
work), and decide afterwards what to do with edit.php.net. :)
Christoph
[1] <https://github.com/php/doc-base/pull/23>
[2]
<https://github.com/php/web-doc/commit/4cf0a7829456a3cbc941d327aeaa04508c9b75fe>