Skip to content

Commit

Permalink
[Bot] Update journal abbreviation lists (#10387)
Browse files Browse the repository at this point in the history
* Update journal abbreviation lists

* Improve name

* Rename job

* Try to fix trigger (and allow manual run)

* Refine condition

* Try other token for approve

* Pin repository to JabRef

* Constrain even more

---------

Co-authored-by: github-merge-queue <github-merge-queue@users.noreply.github.com>
Co-authored-by: Oliver Kopp <kopp.dev@gmail.com>
  • Loading branch information
3 people authored Sep 16, 2023
1 parent 94bc5c2 commit 2760070
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 7 deletions.
11 changes: 6 additions & 5 deletions .github/workflows/automerge.yml
Original file line number Diff line number Diff line change
@@ -1,20 +1,21 @@
name: Dependabot auto-merge
on: pull_request
name: Auto Merge
on: [pull_request, workflow_dispatch]

permissions:
contents: write
pull-requests: write

jobs:
dependabot:
automerge:
runs-on: ubuntu-latest
if: ${{ (github.actor == 'dependabot[bot]') || (github.actor == 'koppor' && startsWith(github.event.pull_request.title, '[Bot]')) }}
# Run only if PR is inside JabRef's main repository and created by dependabot or by an update workflow
if: ${{ (github.repository == 'JabRef/jabref') && ((github.actor == 'dependabot[bot]') || (startsWith(github.event.pull_request.title, '[Bot]'))) }}
steps:
- name: Approve PR
run: gh pr review --approve "$PR_URL"
env:
PR_URL: ${{github.event.pull_request.html_url}}
GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
GITHUB_TOKEN: ${{secrets.GH_TOKEN_JABREF_MACHINE_PR_APPROVE}}
- name: Merge PR
run: gh pr merge --auto "$PR_URL"
env:
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/refresh-csl-subtrees.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ jobs:
permissions:
contents: write # for peter-evans/create-pull-request to create branch
pull-requests: write # for peter-evans/create-pull-request to create a PR
if: (github.repository == 'JabRef/jabref' || github.repository == 'koppor/jabref')
if: (github.repository == 'JabRef/jabref')
steps:
- uses: actions/checkout@v4
with:
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/refresh-journal-lists.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ jobs:
permissions:
contents: write # for peter-evans/create-pull-request to create branch
pull-requests: write # for peter-evans/create-pull-request to create a PR
if: (github.repository == 'JabRef/jabref' || github.repository == 'koppor/jabref')
if: (github.repository == 'JabRef/jabref')
steps:
- uses: actions/checkout@v4
with:
Expand Down

0 comments on commit 2760070

Please sign in to comment.