Hi all, I've been a somehow regular contributor to various php.net web infrastructure components and the docs since 2013 till ~2019. Perhaps some of you might even remember me :)
Then the work has happened but I believe I got into the place where I could contribute some of my time into PHP again. When I was not contributing I stayed at least a bit up to date with bigger news, I was checking some repositories every now and then and whatnot. Of course the git.php.net situation and the subsequent move to GitHub didn't go under my radar either. However, I only really connected the dots few months back when I tried contributing to the documentation again (I wanted to start with fixing long-crashing build of the Polish translation just to see how rusty my knowledge has really become over the years :D) - naturally I got greeted with a message saying that I don't have push permissions which in retrospect totally makes sense given how our karma system used to work. So here comes my question: how it this managed these days? Is there some process where one should apply to get his karma rights transferred to close enough GitHub org permissions? I realize the PHP.net karma system was more granular (e.g. allowing people to push to certain paths in some repositories) so I'm not sure if this is how it works now. Just to clarify, I don't intend to start pushing to master left and right - just like I never really did back in the previous years. That said, there are some no-brainer changes that perhaps I could help with once I regain some of the knowledge on how PHP.net is operating these days. That and also things like doc-php where I'm the only truly active contributor to this almost entirely dead stub of a translation (although we might have a newjoiner who reached out to me just a week ago). Alright, enough blabbering :) Hello back to those who might remember me, nice to meet you to everyone else! I hope we could build something cool together. Thanks! Maciej Sobaczewski (aka sobak) PS: Last question: is this mailing list still used for discussions? I've checked last 500 messages and I didn't spot anything other than automated notifications from GitHub and some spam. Have discussions movedelsewhere or is this just that the volume of discussions is that low?