On Tue, Sep 27, 2016, at 09:06, Richard Eisenberg wrote:
Yes, I agree with Michael’s observations in the blog post. However, one thing that’s easier about a wiki is that the editing process is much more lightweight than making a PR.
But GitHub has a wonderful feature (that I have rarely used) that mitigates this problem. Viewing a file in GitHub offers a little pencil icon in the top-right. It allows you to make arbitrary changes in the file and then automates the construction of a PR. The owner of the file can then accept the PR very, very easily. If the editor has commit rights, you can make your edits into a commit right away. No need to fork, pull and push.
Indeed, GitHub also supports git-backed wikis, so you can have nicely rendered and inter-linked pages *and* have the option for web-based or git-based editing. Though, based on my limited experience with GitHub wikis, I wonder if they would scale to the size of GHC's wiki.. There's also a tool called gitit (https://github.com/jgm/gitit) that seems to offer the same set of features, but apparently with a more traditional (and I assume customizable) layout. I think having the option for simple, immediate edits or peer-reviewed edits (the peer-review is much more important to me than having an explicitly file-based system) would be a big win. Perhaps there's even a trac module that implements something like this? Then we could decouple it from the question/task of migrating the existing content elsewhere. Eric