Skip to content

sync dev and main - #129

Merged
BBeltz1 merged 10 commits into
mainfrom
dev
May 19, 2026
Merged

sync dev and main#129
BBeltz1 merged 10 commits into
mainfrom
dev

Conversation

@andybeet

Copy link
Copy Markdown
Member

PRs into dev contained all necessary info. They have already been approved.
Please provide the information below so main can be synced with dev:

List PRs

List the PRs that were merged into dev that will be pulled into main and any issues they fix:

Types of changes

What types of changes does this pull request introduce? Put an x in the boxes that apply.
This will inform the new release number.

  • Fix (non-breaking change which fixes a bug)
  • Feature (non-breaking change which adds or changes functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Other change (if none of the other choices apply)

Reviewer instructions

The underlying PRs should have been reviewed. Please check that the proposed merge is correct before approving.
If any checkboxes other than "Other change" have been selected please prepare the following file changes for a new release version:

  • NEWS.md - add release notes
  • DESCRIPTION - increment the version number according to Semantic Versioning

@andybeet
andybeet requested a review from BBeltz1 May 19, 2026 16:05
@andybeet andybeet changed the title sync dev with main sync dev and main May 19, 2026

@BBeltz1 BBeltz1 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

good to go

@BBeltz1
BBeltz1 merged commit 9f6aaf7 into main May 19, 2026
11 of 12 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.

Add development guideline components

2 participants