Skip to content

Show Open button for enabled plugins - #803

Merged
andreasgriffin merged 1 commit into
mainfrom
plugin-list-open-button
Aug 4, 2026
Merged

Show Open button for enabled plugins#803
andreasgriffin merged 1 commit into
mainfrom
plugin-list-open-button

Conversation

@andreasgriffin

Copy link
Copy Markdown
Owner

Required

  • pre-commit install before any commit. If pre-commit wasn't run for all commits, you can squash all commits git reset --soft $(git merge-base main HEAD) && git commit -m "squash" and ensure the squashed commit is properly formatted
  • All commits must be signed. If some are not, you can squash all commits git reset --soft $(git merge-base main HEAD) && git commit -m "squash" and ensure the squashed commit is signed
  • UI/Design/Menu changes were tested on macOS, because macOS creates endless problems. Optionally attach a screenshot.

Optional

  • Update all translations
  • Appropriate pytests were added
  • Documentation is updated
  • If this PR affects builds or install artifacts, set the Build-Relevant label to trigger build workflows
  • If this PR affects reproducible build outputs, set the Reproducibility-Relevant label to trigger the checksum comparison workflow
  • Instruct AI
create a concise summary (bullet points, no stats) for this pr and make a good title

@andreasgriffin
andreasgriffin force-pushed the plugin-list-open-button branch from 2ff815e to 3d0ec54 Compare August 4, 2026 08:57
@andreasgriffin
andreasgriffin force-pushed the plugin-list-open-button branch from 3d0ec54 to 498a995 Compare August 4, 2026 10:32
@andreasgriffin
andreasgriffin force-pushed the plugin-list-open-button branch from 498a995 to f97fc3e Compare August 4, 2026 10:47
@andreasgriffin
andreasgriffin merged commit 4bb54fc into main Aug 4, 2026
22 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant