Skip to content

Commit 03cd667

Browse files
committed
Merge branch 'main' into add-gjf
2 parents 752ce2d + f2a93fb commit 03cd667

File tree

190 files changed

+2751
-1558
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

190 files changed

+2751
-1558
lines changed

.github/PULL_REQUEST_TEMPLATE.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@ Don't reference an issue in the PR title because GitHub does not support auto-li
1313
- [x] done; [ ] not done / not applicable
1414
-->
1515

16+
- [x] I own the copyright of the code submitted and I licence it under the [MIT license](https://github.com/JabRef/jabref/blob/main/LICENSE)
1617
- [ ] Change in `CHANGELOG.md` described in a way that is understandable for the average user (if applicable)
1718
- [ ] Tests created for changes (if applicable)
1819
- [ ] Manually tested changed features in running JabRef (always required)

.github/workflows/add-greeting-to-issue.yml

Lines changed: 0 additions & 31 deletions
This file was deleted.

.github/workflows/add-to-projects.yml

Lines changed: 0 additions & 44 deletions
This file was deleted.

.github/workflows/assign-issue.yml

Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
name: Assign Issue
2+
3+
on:
4+
schedule:
5+
- cron: 0 0 * * *
6+
issue_comment:
7+
types: [created]
8+
workflow_dispatch:
9+
10+
jobs:
11+
assign:
12+
runs-on: ubuntu-latest
13+
steps:
14+
- name: Assign the user or unassign stale assignments
15+
uses: takanome-dev/[email protected]
16+
with:
17+
github_token: '${{ secrets.GITHUB_TOKEN }}'
18+
days_until_unassign: 30
19+
assigned_comment: |
20+
👋 Hey @{{ comment.user.login }},
21+
22+
Thanks for your interest in this issue! 🎉
23+
24+
Newcomers, we're excited to have you on board. Start by exploring our [Contributing](https://github.com/JabRef/jabref/blob/main/CONTRIBUTING.md) guidelines, and don't forget to check out our [workspace setup guidelines](https://devdocs.jabref.org/getting-into-the-code/guidelines-for-setting-up-a-local-workspace) to get started smoothly.
25+
26+
In case you encounter failing tests during development, please check our [developer FAQs](https://devdocs.jabref.org/code-howtos/faq.html)!
27+
28+
Having any questions or issues? Feel free to ask here on GitHub. Need help setting up your local workspace? Join the conversation on [JabRef's Gitter chat](https://gitter.im/JabRef/jabref). And don't hesitate to open a (draft) pull request early on to show the direction it is heading towards. This way, you will receive valuable feedback.
29+
30+
⚠ Note that this issue will become unassigned if it isn't closed within **{{ totalDays }} days**.
31+
32+
🔧 A maintainer can also add the **{{ inputs.pin_label }}** label to prevent it from being unassigned automatically.
33+
34+
Happy coding! 🚀

.github/workflows/check-links.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ jobs:
3131
restore-keys: cache-lychee-
3232
- name: Link Checker
3333
id: lychee
34-
uses: lycheeverse/lychee-action@v1.10.0
34+
uses: lycheeverse/lychee-action@v2.0.2
3535
with:
3636
fail: true
3737
args: --accept '200,201,202,203,204,403,429,500' --max-concurrency 1 --cache --no-progress --exclude-all-private './**/*.md'

.github/workflows/cleanup-pr.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ jobs:
2828
BUILDJABREFPRIVATEKEY: ${{ secrets.buildJabRefPrivateKey }}
2929
- name: Delete folder on builds.jabref.org
3030
if: steps.checksecrets.outputs.secretspresent == 'YES'
31-
uses: appleboy/ssh-action@v1.0.3
31+
uses: appleboy/ssh-action@v1.1.0
3232
with:
3333
script: rm -rf /var/www/builds.jabref.org/www/pull/${{ github.event.pull_request.number }} || true
3434
host: build-upload.jabref.org
@@ -37,7 +37,7 @@ jobs:
3737
key: ${{ secrets.buildJabRefPrivateKey }}
3838
- name: Update PR comment
3939
if: steps.checksecrets.outputs.secretspresent == 'YES'
40-
uses: thollander/actions-comment-pull-request@v2
40+
uses: thollander/actions-comment-pull-request@v3
4141
with:
4242
comment_tag: download-link
4343
message: The build for this PR is no longer available. Please visit <https://builds.jabref.org/main/> for the latest build.

.github/workflows/deployment.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -287,7 +287,7 @@ jobs:
287287
BUILDJABREFPRIVATEKEY: ${{ secrets.buildJabRefPrivateKey }}
288288
- name: Comment PR
289289
if: (steps.checksecrets.outputs.secretspresent == 'YES')
290-
uses: thollander/actions-comment-pull-request@v2
290+
uses: thollander/actions-comment-pull-request@v3
291291
with:
292292
message: |
293293
The build of this PR is available at <https://builds.jabref.org/pull/${{ github.event.pull_request.number }}/merge>.
Lines changed: 115 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,115 @@
1+
name: On labeled issue
2+
3+
on:
4+
issues:
5+
types:
6+
- labeled
7+
8+
jobs:
9+
FirstTimeCodeContribution:
10+
if: ${{ github.event.label.name == 'FirstTimeCodeContribution' }}
11+
runs-on: ubuntu-latest
12+
permissions:
13+
issues: write
14+
steps:
15+
- name: GreetingFirstTimeCodeContribution
16+
uses: peter-evans/create-or-update-comment@v4
17+
with:
18+
issue-number: ${{ github.event.issue.number || github.event.pull_request.number }}
19+
body: |
20+
Welcome to the vibrant world of open-source development with JabRef!
21+
22+
Newcomers, we're excited to have you on board. Start by exploring our [Contributing](https://github.com/JabRef/jabref/blob/main/CONTRIBUTING.md) guidelines, and don't forget to check out our [workspace setup guidelines](https://devdocs.jabref.org/getting-into-the-code/guidelines-for-setting-up-a-local-workspace) to get started smoothly.
23+
24+
In case you encounter failing tests during development, please check our [developer FAQs](https://devdocs.jabref.org/code-howtos/faq.html)!
25+
26+
Having any questions or issues? Feel free to ask here on GitHub. Need help setting up your local workspace? Join the conversation on [JabRef's Gitter chat](https://gitter.im/JabRef/jabref). And don't hesitate to open a (draft) pull request early on to show the direction it is heading towards. This way, you will receive valuable feedback.
27+
28+
⚠ Note that this issue will become unassigned if it isn't closed within **30 days**.
29+
30+
🔧 A maintainer can also add the **`Pinned`** label to prevent it from being unassigned automatically.
31+
32+
Happy coding! 🚀
33+
- name: Move Issue to "Assigned" Column in "Candidates for University Projects"
34+
uses: m7kvqbe1/[email protected]
35+
with:
36+
github-token: ${{ secrets.GH_TOKEN_ACTION_MOVE_ISSUE }}
37+
project-url: "https://github.com/orgs/JabRef/projects/3"
38+
target-labels: "FirstTimeCodeContribution"
39+
target-column: "Assigned"
40+
ignored-columns: ""
41+
- name: Move Issue to "Assigned" Column in "Good First Issues"
42+
uses: m7kvqbe1/[email protected]
43+
with:
44+
github-token: ${{ secrets.GH_TOKEN_ACTION_MOVE_ISSUE }}
45+
project-url: "https://github.com/orgs/JabRef/projects/5"
46+
target-labels: "FirstTimeCodeContribution"
47+
target-column: "Assigned"
48+
ignored-columns: ""
49+
Assigned:
50+
name: "📍 Assigned"
51+
if: ${{ github.event.label.name == '📍 Assigned' }}
52+
runs-on: ubuntu-latest
53+
permissions:
54+
issues: write
55+
steps:
56+
- name: Move Issue to "Assigned" Column in "Candidates for University Projects"
57+
uses: m7kvqbe1/[email protected]
58+
with:
59+
github-token: ${{ secrets.GH_TOKEN_ACTION_MOVE_ISSUE }}
60+
project-url: "https://github.com/orgs/JabRef/projects/3"
61+
target-labels: "📍 Assigned"
62+
target-column: "Assigned"
63+
ignored-columns: ""
64+
- name: Move Issue to "Assigned" Column in "Good First Issues"
65+
uses: m7kvqbe1/[email protected]
66+
with:
67+
github-token: ${{ secrets.GH_TOKEN_ACTION_MOVE_ISSUE }}
68+
project-url: "https://github.com/orgs/JabRef/projects/5"
69+
target-labels: "📍 Assigned"
70+
target-column: "Assigned"
71+
ignored-columns: ""
72+
good-first-issue:
73+
name: "good first issue"
74+
if: "${{ github.event.label.name == 'good first issue' }}"
75+
runs-on: ubuntu-latest
76+
steps:
77+
- name: "good first issue"
78+
env:
79+
GH_TOKEN: ${{ secrets.GH_TOKEN_PROJECT_ITEM_ADD }}
80+
run: |
81+
ISSUE_URL=$(jq --raw-output .issue.html_url "$GITHUB_EVENT_PATH")
82+
gh project item-add 5 --owner JabRef --url $ISSUE_URL
83+
needs-refinement:
84+
if: github.event.label.name == 'needs-refinement'
85+
runs-on: ubuntu-latest
86+
steps:
87+
- name: needs-refinement
88+
env:
89+
GH_TOKEN: ${{ secrets.GH_TOKEN_PROJECT_ITEM_ADD }}
90+
run: |
91+
ISSUE_URL=$(jq --raw-output .issue.html_url "$GITHUB_EVENT_PATH")
92+
gh project item-add 15 --owner JabRef --url $ISSUE_URL
93+
status-freeze:
94+
name: "status: freeze"
95+
if: "${{ github.event.label.name == 'status: freeze' }}"
96+
runs-on: ubuntu-latest
97+
steps:
98+
- name: "status: freeze"
99+
env:
100+
GH_TOKEN: ${{ secrets.GH_TOKEN_PROJECT_ITEM_ADD }}
101+
run: |
102+
ISSUE_URL=$(jq --raw-output .issue.html_url "$GITHUB_EVENT_PATH")
103+
gh project item-add 9 --owner JabRef --url $ISSUE_URL
104+
ui:
105+
if: "${{ github.event.label.name == 'ui' }}"
106+
runs-on: ubuntu-latest
107+
steps:
108+
- name: ui
109+
env:
110+
GH_DEBUG: api
111+
GH_TOKEN: ${{ secrets.GH_TOKEN_PROJECT_ITEM_ADD }}
112+
run: |
113+
ISSUE_URL=$(jq --raw-output .issue.html_url "$GITHUB_EVENT_PATH")
114+
echo $ISSUE_URL
115+
gh project item-add 8 --owner JabRef --url $ISSUE_URL
Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
name: On labeled PR
2+
3+
on:
4+
pull_request:
5+
types:
6+
- labeled
7+
8+
jobs:
9+
automerge:
10+
name: Auto Merge
11+
if: "${{ github.event.label.name == 'automerge' }}"
12+
runs-on: ubuntu-latest
13+
steps:
14+
- name: Approve PR
15+
run: gh pr review --approve "$PR_URL"
16+
env:
17+
PR_URL: ${{github.event.pull_request.html_url}}
18+
GITHUB_TOKEN: ${{secrets.GH_TOKEN_JABREF_MACHINE_PR_APPROVE}}
19+
- name: Merge PR
20+
run: gh pr merge --auto --squash "$PR_URL"
21+
env:
22+
PR_URL: ${{github.event.pull_request.html_url}}
23+
GITHUB_TOKEN: ${{secrets.GH_TOKEN_UPDATE_GRADLE_WRAPPER}}
Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
name: On unlabeled issue
2+
3+
on:
4+
issues:
5+
types:
6+
- unlabeled
7+
8+
jobs:
9+
FirstTimeCodeContribution_or_Assigned:
10+
if: ${{ (github.event.label.name == 'FirstTimeCodeContribution') || (github.event.label.name == '📍 Assigned') }}
11+
runs-on: ubuntu-latest
12+
permissions:
13+
issues: write
14+
steps:
15+
- name: Move Issue to "Free to take" Column in "Candidates for University Projects"
16+
uses: m7kvqbe1/[email protected]
17+
with:
18+
github-token: ${{ secrets.GH_TOKEN_ACTION_MOVE_ISSUE }}
19+
project-url: "https://github.com/orgs/JabRef/projects/3"
20+
target-labels: "📍 Assigned"
21+
target-column: "Assigned"
22+
ignored-columns: ""
23+
default-column: "Free to take"
24+
- name: Move Issue to "Free to take" Column in "Good First Issues"
25+
uses: m7kvqbe1/[email protected]
26+
with:
27+
github-token: ${{ secrets.GH_TOKEN_ACTION_MOVE_ISSUE }}
28+
project-url: "https://github.com/orgs/JabRef/projects/5"
29+
target-labels: "📍 Assigned"
30+
target-column: "Assigned"
31+
ignored-columns: ""
32+
default-column: "Free to take"

0 commit comments

Comments
 (0)