#5 and #4 could be extended to be called upon release of upstream tooling to publish the docs site. This could be done with repository_dispatch events (which have their own limitations) or by a webhook to an external listener to kick this off elsewhere.