Allow contributors to edit the wiki

• Component: Tools / Tests
• Status: RESOLVED CONFIGURATION CHANGED

[Carlos Alberto Lopez Perez]

It would be nice if we allow contributors (as listed in the "Contributors" field of contributors.json) to edit the wiki at https://trac.webkit.org


This may be useful for example for WebKitGTK+ gardeners (some of them still not committers) can edit the wiki at https://trac.webkit.org/wiki/WebKitGTK/Gardening/Calendar


Since in the file contributors.json are also listed the committeers and reviewers, a possible implementation idea is to give wiki edit permissions to anyone listed on that file. That way there is only one source of information to check for this permission.

[Lucas Forschler]

The current trac authenticate list is taken from the svn.webkit.org authz.conf file.
It should be fairly simple to supplement that list with the contributors list from source.

[Radar WebKit Bug Importer]

<rdar://problem/26008806>

[Lucas Forschler]

I've manually added all of the "Contributors" in contributors.json.

We should consider adding a post-commit hook to svn.webkit.org to do this anytime the contributors.json file is updated. However, the hook will need a fair bit of testing. Also, we'll likely need to run an operation to remove permissions before adding them back in, such that we can cover cases where users are added or removed.

[Lucas Forschler]

And by manually, I mean I've wrote a script which does this work for us... (however it is run manually, not via hook or other automation)

[Lucas Forschler]

I've updated our tools to take all emails from contributors.json and give them wiki permissions.

[Carlos Bentzen]

Hi! I recently added myself as contributor on bug 184082 but I haven't got permission to edit the wiki yet.

Has the permissions script been updated and stopped granting permissions to contributors listed in contributors.json?