From 286fdd98999755246151f80814414621b6c700b1 Mon Sep 17 00:00:00 2001 From: altrisi Date: Sun, 25 Oct 2020 12:45:16 +0100 Subject: [PATCH] Fix merge-docs failing if nothing new to merge --- .github/workflows/merge-docs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/merge-docs.yml b/.github/workflows/merge-docs.yml index aad8b6b1..4ffaf40a 100644 --- a/.github/workflows/merge-docs.yml +++ b/.github/workflows/merge-docs.yml @@ -12,6 +12,7 @@ jobs: - name: Merge docs run: ./mergedoc.sh - name: Commit merged docs + continue-on-error: true run: | git config --global user.name 'github-actions[bot]' git config --global user.email 'github-actions[bot]@users.noreply.github.com'