Skip to content

Open theme browse in last css dir#11597

Merged
Siedlerchr merged 2 commits into
mainfrom
useLatestCssDir
Aug 7, 2024
Merged

Open theme browse in last css dir#11597
Siedlerchr merged 2 commits into
mainfrom
useLatestCssDir

Conversation

@Siedlerchr

@Siedlerchr Siedlerchr commented Aug 7, 2024

Copy link
Copy Markdown
Member

Fixes https://github.com/JabRef/jabref-issue-melting-pot/issues/496

Mandatory checks

  • Change in CHANGELOG.md described in a way that is understandable for the average user (if applicable)
  • Tests created for changes (if applicable)
  • Manually tested changed features in running JabRef (always required)
  • Screenshots added in PR description (for UI changes)
  • Checked developer's documentation: Is the information available and up to date? If not, I outlined it in this pull request.
  • Checked 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 to the documentation repository.

@Siedlerchr Siedlerchr requested a review from koppor August 7, 2024 18:47
@Siedlerchr Siedlerchr enabled auto-merge August 7, 2024 18:52
@Siedlerchr Siedlerchr added the status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers label Aug 7, 2024
@github-actions

github-actions Bot commented Aug 7, 2024

Copy link
Copy Markdown
Contributor

The build for this PR is no longer available. Please visit https://builds.jabref.org/main/ for the latest build.

@koppor koppor left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed, thought through, teststed, works!!

@Siedlerchr Siedlerchr added this pull request to the merge queue Aug 7, 2024
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Aug 7, 2024
@calixtus calixtus added this pull request to the merge queue Aug 7, 2024
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Aug 7, 2024
@Siedlerchr Siedlerchr added this pull request to the merge queue Aug 7, 2024
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Aug 7, 2024
@Siedlerchr Siedlerchr merged commit 0e1a850 into main Aug 7, 2024
@Siedlerchr Siedlerchr deleted the useLatestCssDir branch August 7, 2024 20:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants