Hi Jeremy,
Overall, I am beginning to worry that this is a bit of a rabbit hole. We're putting effort into engineering a whole new pipeline for contribution requests, somewhat duplicating GitHub. But we don't really know that the contribution requests we'll get will warrant the effort. And even though we're lowering the barriers to contribution, they are still quite high: somebody spotting a typo needs to find out how to clone the wiki, save their changes, and submit the change for review. That's conceptually quite complex.
You're right, and I must admit that it would be quite some work to make the aggregator do only the partial process I described earlier, with many possible problems which might scare users away.
I think that currently if someone who can't use github (or doesn't want to) wants to modify the documentation, the best option is simply to send their modified/new content to this discussion group, or even better to tiddlywikidocs, where someone will pick it up and create a pull request.
when I was writing this I realized that I could propose a documentation change myself with this idea, so I did: https://github.com/Jermolene/TiddlyWiki5/pull/1969
Erwan -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to tiddlywiki+unsubscr...@googlegroups.com. To post to this group, send email to tiddlywiki@googlegroups.com. Visit this group at http://groups.google.com/group/tiddlywiki. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/56084C94.8030608%40gmail.com. For more options, visit https://groups.google.com/d/optout.