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