Hi Everyone, The topic of documentation recently came up again on the squeak list and it made me wonder about some of the blocks that currently prevent more contributions to in-image documentation. One of the things holding back the in-image documentation is that the cost of contributing is too high: apart from actually making the change we currently have to (maybe) open an issue, create a branch, commit and open a PR. Someone with commit privileges then has to review the PR enough and decide to merge it. We then need to manually delete the branch some time later. This is one of the reasons that wikis have been successful, they lower the cost of making changes. We could extend iceberg to automatically submit PRs for documentation only commits (it could be a separate option, so that the doco only requirement is enforced), and set up github to auto-accept the PR. Modifying in-image documentation would then become a few extra clicks, significantly lowering the cost. I'm not familiar with Jenkins, or any other CI system, but hunting around google it looks like it may be possible to directly implement this, if not there are services such as https://mergify.io/ which advertise being able to do this by using flags in the CI to determine whether the PR should be merged (disclaimer, I've never looked at mergify.io, just found it while thinking about this). Thoughts? Cheers, Alistair