Skip to content

Commit

Permalink
Hotfix: Always create a PR for updating journal lists (JabRef#10138)
Browse files Browse the repository at this point in the history
  • Loading branch information
koppor authored Aug 2, 2023
1 parent 6c680ea commit 85d1b1c
Showing 1 changed file with 0 additions and 9 deletions.
9 changes: 0 additions & 9 deletions .github/workflows/refresh-journal-lists.yml
Original file line number Diff line number Diff line change
Expand Up @@ -58,17 +58,8 @@ jobs:
cd $GITHUB_WORKSPACE
./gradlew generateJournalAbbreviationList
- uses: peter-evans/create-pull-request@v5
if: github.ref == 'refs/heads/main'
with:
token: ${{ secrets.GITHUB_TOKEN }}
branch: update-journallist
title: "[Bot] Update journal abbreviation lists"
commit-message: Update journal abbreviation lists
- name: Commit and push changes
uses: EndBug/add-and-commit@v9
if: github.ref != 'refs/heads/main'
with:
message: 'Update journal abbreviation lists'
committer_email: actions@github.com
fetch: false
push: true

0 comments on commit 85d1b1c

Please sign in to comment.