Hi Hans! On 06.11.2024 at 15:32, Hans Krentel wrote:
> my wiki username is >> hakre << and I'm planning to do some minor > editing work in the wiki first of all for formatting things streamlining > same-page content, that are adding missing colons at the end of > introductory sentences to console instructions on https://wiki.php.net/ > vcs/gitfaq after reading through CONTRIBUTIONS.md . In my opinion, we should move all still relevant contents from the Wiki to somewhere else (except the RFCs, for now). There is already quite some duplication/overlap and grossly outdated info, and in the long run that likely gets worse. Some parts of gitfaq can likely be dropped; I guess nowadays most developers are generally comfortable using Git. Some parts appear to be more appriate in gitworkflow (which should probably be moved to <https://github.com/php/policies>). And some parts are likely best moved to <https://github.com/php/php-src/tree/master/docs>. Or maybe move the whole page to php-src/docs as first step. Anyhow, moving contents to Github also allows for better collaboration via PRs. After a move, the page can be quickly edited to link to the new place(s). Note that I'm not against giving you edit access to the Wiki, but it's not quite that simple; well, it's not hard, but would be uncommon nowadays. Christoph
