From 5aa9c4c4b257f063667c75d0078eff6edf5e7ec4 Mon Sep 17 00:00:00 2001 From: altrisi Date: Tue, 29 Dec 2020 17:12:24 +0100 Subject: [PATCH] Delete merge-docs.yml --- .github/workflows/merge-docs.yml | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 .github/workflows/merge-docs.yml diff --git a/.github/workflows/merge-docs.yml b/.github/workflows/merge-docs.yml deleted file mode 100644 index 11dccee0..00000000 --- a/.github/workflows/merge-docs.yml +++ /dev/null @@ -1,21 +0,0 @@ -name: Merge docs -on: - push: - branches: - - master - paths: - - "docs/**" -jobs: - Scarpet: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - - 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' - git commit -am "Merge docs for '${{ github.event.head_commit.message }}'" - git push