Hi Hans!
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