Skip to content

Conversation

@koppor
Copy link
Member

@koppor koppor commented Nov 23, 2025

Follow-up to #13514

Mandatory checks

  • I own the copyright of the code submitted and I license it under the MIT license
  • [/] I manually tested my changes in running JabRef (always required)
  • [/] I added JUnit tests for changes (if applicable)
  • [/] I added screenshots in the PR description (if change is visible to the user)
  • [/] I described the change in CHANGELOG.md in a way that is understandable for the average user (if change is visible to the user)
  • [/] I checked the user documentation: Is the information available and up to date? If not, I created an issue at https://github.com/JabRef/user-documentation/issues or, even better, I submitted a pull request updating file(s) in https://github.com/JabRef/user-documentation/tree/main/en.

@koppor koppor added dev: code-quality Issues related to code or architecture decisions automerge PR is tagged with that label will be merged if workflows are green labels Nov 23, 2025
jabref-machine
jabref-machine previously approved these changes Nov 23, 2025
Removed unused import for PushToApplicationPreferences.
@koppor koppor added this pull request to the merge queue Nov 23, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 23, 2025
@calixtus calixtus enabled auto-merge November 24, 2025 18:07
@calixtus calixtus added this pull request to the merge queue Nov 24, 2025
Merged via the queue into main with commit d0892fe Nov 24, 2025
53 checks passed
@calixtus calixtus deleted the remove-unused-variable branch November 24, 2025 19:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automerge PR is tagged with that label will be merged if workflows are green dev: code-quality Issues related to code or architecture decisions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants