Merge pull request #433 from romanowski/docs/deploy-from-stable

Depoly documentation only from stable branch

Author: romanowski

.github/workflows/ci.yml

@@ -157,7 +157,6 @@ jobs:
         jvm: 11
     - name: Test documentation
       run: .github/scripts/check_docs.sh
-
     - name: Test gifs
       run: gifs/generate_gifs.sh $(ls gifs/scenarios/)
 
@@ -266,6 +265,11 @@ jobs:
         PGP_PASSWORD: ${{ secrets.PGP_PASSPHRASE }}
         SONATYPE_PASSWORD: ${{ secrets.SONATYPE_PASSWORD }}
         SONATYPE_USERNAME: ${{ secrets.SONATYPE_USERNAME }}
+    - name: Update stable branch
+      uses: ad-m/github-push-action@8407731efefc0d8f72af254c74276b7a90be36e1
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        branch: stable
 
   launchers:
     timeout-minutes: 20
@@ -338,51 +342,3 @@ jobs:
         env:
           UPLOAD_GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
-
-  website-nightly:
-    # needs: [jvm-tests, format, checks, reference-doc]
-    if: github.event_name == 'push' && !startsWith(github.ref, 'refs/tags/v')
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v2
-      with:
-        fetch-depth: 0
-        submodules: true
-    - uses: coursier/[email protected]
-    - uses: coursier/[email protected]
-      with:
-        jvm: 11
-    - run: ./mill -i ci.setShouldPublish
-    - uses: actions/[email protected]
-      if: env.SHOULD_PUBLISH == 'true'
-      with:
-        node-version: '12.x'
-    - run: .github/scripts/update-website.sh
-      if: env.SHOULD_PUBLISH == 'true'
-      env:
-        GIT_USER: Virtuslab
-        DEPLOYMENT_BRANCH: gh-pages
-        GIT_PASS: ${{ secrets.GITHUB_TOKEN }}
-
-  # same as website-nightly above, but for the 'needs' and 'if' fields
-  website-release:
-    needs: [jvm-tests, format, checks, reference-doc, update-packages]
-    if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags/v')
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v2
-      with:
-        fetch-depth: 0
-        submodules: true
-    - uses: coursier/[email protected]
-    - uses: coursier/[email protected]
-      with:
-        jvm: 11
-    - uses: actions/[email protected]
-      with:
-        node-version: '12.x'
-    - run: .github/scripts/update-website.sh
-      env:
-        GIT_USER: Virtuslab
-        DEPLOYMENT_BRANCH: gh-pages
-        GIT_PASS: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/website.yaml

@@ -0,0 +1,31 @@
+name: Website deploy
+on:
+  push:
+    branches:
+    - stable
+
+jobs:
+  update-website:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+      with:
+        fetch-depth: 0
+        submodules: true
+    - uses: actions/[email protected]
+      with:
+        node-version: '12.x'
+    - run: .github/scripts/update-website.sh
+      env:
+        GIT_USER: Virtuslab
+        DEPLOYMENT_BRANCH: gh-pages
+        GIT_PASS: ${{ secrets.GITHUB_TOKEN }}
+    # after the release the PR should be empty
+    - name: Open PR with changes back to master
+      uses: repo-sync/pull-request@v2
+      with:
+        destination_branch: "master"
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        pr_title: "Back port of documentation changes to master"
+        name: Update stable branch
+        branch: backport/stable