diff --git a/.github/workflows/remove-tool.yml b/.github/workflows/remove-tool.yml index 2c1f7ee3d..539f671b2 100644 --- a/.github/workflows/remove-tool.yml +++ b/.github/workflows/remove-tool.yml @@ -40,6 +40,7 @@ jobs: uses: ad-m/github-push-action@master with: branch: remove-tool-${{ inputs.toolName }} + force: true - name: Create Pull Request uses: peter-evans/create-pull-request@v6 @@ -48,4 +49,4 @@ jobs: branch: remove-tool-${{ inputs.toolName }} commit-message: "Remove Tool: ${{ inputs.toolName }}" title: "Remove Tool: ${{ inputs.toolName }}" - body: "This pull request removes ${{ inputs.toolName }} from gitbook/tools and from SUMMARY.md." + body: "This pull request removes ${{ inputs.toolName }} from gitbook/tools and from SUMMARY.md.\n\nCreated via workflow. In case of merge conflicts, re-run all jobs on [Run ${{ github.run_number }}](https://github.com/bellingcat/toolkit/actions/runs/${{ github.run_id }}).