AW: [PHP-DEV] Questions about main.php.net and people.php.net

2022-05-27 Thread Aaron Junker
> On 5/27/22 06:02, Sergey Panteleev wrote: > > I'm not sure it's worth shutting down, it's not bothering anyone =) > > > > Aside: The community is quite large, and it's not always easy to find who is > responsible for what or who has what access. > > When I needed access to the edit-box server,

Re: [PHP-DEV] Questions about main.php.net and people.php.net

2022-05-27 Thread Ben Ramsey
On 5/27/22 06:02, Sergey Panteleev wrote: I'm not sure it's worth shutting down, it's not bothering anyone =) Aside: The community is quite large, and it's not always easy to find who is responsible for what or who has what access. When I needed access to the edit-box server, it took a long

[PHP-DEV] Questions about main.php.net and people.php.net

2022-05-27 Thread Sergey Panteleev
I'm not sure it's worth shutting down, it's not bothering anyone =) Aside: The community is quite large, and it's not always easy to find who is responsible for what or who has what access. When I needed access to the edit-box server, it took a long time to find someone who could grant me that

[PHP-DEV] Questions about main.php.net and people.php.net

2022-05-27 Thread Sergey Panteleev
Hey Aaron, 1. main is still used for member management, at least the settings for mail forwarding @php.net are specified there. 2. people only used to display information about members, no management logic there. It used to display user's "karma" as well, but with the transition to GitHub

[PHP-DEV] Questions about main.php.net and people.php.net

2022-05-27 Thread Aaron Junker
Hi all, I'm currently in preparation for writing my RFC for a global php.net login system[1] and I have two questions I need your opinion/knowledge on: 1. Is main.php.net still relevant? So, as far as I can see you can use this website to login with your @php.net credentials. But I can't find