Skip to content

Add MetroVault#770

Merged
andreasgriffin merged 1 commit into
mainfrom
MetroVault
Jul 14, 2026
Merged

Add MetroVault#770
andreasgriffin merged 1 commit into
mainfrom
MetroVault

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 enabled auto-merge July 14, 2026 14:19
@andreasgriffin andreasgriffin merged commit 4707bf1 into main Jul 14, 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