Automate pushing docs on release #411
Description
Currently we need to manually copy master/ to current/ in gh-pages after running release automation.
{{ message }}
Currently we need to manually copy master/ to current/ in gh-pages after running release automation.