Replace .github/publish with 'push_artifacts'

See kaitai-io/kaitai_struct#819
kaitai-io · Nov 7, 2020 · f4439b9 · f4439b9
1 parent af27539
commit f4439b9
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 94 deletions.
diff --git a/.github/publish b/.github/publish
diff --git a/.github/push_artifacts b/.github/push_artifacts
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -63,7 +63,14 @@ jobs:
         working-directory: _build
         run: ./build-html .. target html
       - name: Deploy
-        run: .github/publish
         env:
           BOT_SSH_KEY: ${{secrets.BOT_SSH_KEY}}
+        run: |
+          .github/push_artifacts/git_config_kaitai_bot
+          .github/push_artifacts/publish \
+            -o kaitai-io \
+            -r formats-kaitai-io.github.io \
+            -m "Build results of $GITHUB_REF $GITHUB_REPOSITORY@$GITHUB_SHA" \
+            -- --exclude=.git --exclude=.travis.yml --exclude=CNAME _build/html/
+        # NB: trailing slash in '_build/html/' is *very* important for rsync!
         if: github.ref == 'refs/heads/master'
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule ".github/push_artifacts"]
+	path = .github/push_artifacts
+	url = https://github.com/kaitai-io/push_artifacts.git