Have a look at github actions when it comes out of private beta

[signed]

Maybe we wan use this to automate the publish to docs task after a merge to master

here are the details

[kosta]

Interesting....