Open
Description
In the spirit of having a community-driven wiki, I think the ability to manage protected (e.g. Main page) and special (e.g. MediaWiki:common.css) pages via pull requests would be a great feature.
This could be in the form of having some of these files in a folder in the repo, having some sort of nix-based config that points to what pages they belong to, and a bot-based automation to deploy the changes once the PR is merged.
I would be more than happy if the community agrees to try my hand at implementing this, since it would be one of those nix use cases where it needs to talk to external tools (so in essence side effects), but I would almost certainly need guindance on how to do it :)
Metadata
Metadata
Assignees
Labels
No labels