We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5a68ddc commit a8d42f0Copy full SHA for a8d42f0
.github/workflows/pr-comment.yml
@@ -45,6 +45,15 @@ jobs:
45
env:
46
GH_TOKEN: ${{ github.token }}
47
pr_number: ${{ steps.read-pr_number.outputs.pr_number }}
48
+ - name: Remove all comments by "github-actions[bot]"
49
+ if: ${{ steps.read-pr_number.outputs.pr_number != '' && steps.isCrossRepository.outputs.isCrossRepository == 'true' }}
50
+ uses: maheshrayas/[email protected]
51
+ with:
52
+ github_token: '${{ secrets.GITHUB_TOKEN }}'
53
+ org: JabRef
54
+ repo: jabref
55
+ user: 'github-actions[bot]' #commented by the userid
56
+ issue: '${{ steps.read-pr_number.outputs.pr_number }}'
57
- name: Checkout
58
if: ${{ steps.read-pr_number.outputs.pr_number != '' && steps.isCrossRepository.outputs.isCrossRepository == 'true' }}
59
uses: actions/checkout@v4
0 commit comments