Merge hsml GitHub Actions

Author: aversey

.github/workflows/mkdocs-release.yml

@@ -53,6 +53,7 @@ jobs:
         run: |
           git config --global user.name Mike
           git config --global user.email mike@docs.hopsworks.ai
+
       - name: mike deploy docs
         run: |
           mike deploy ${{ env.RELEASE_VERSION }} ${{ env.MAJOR_VERSION }} -u --push