Skip to content

sync dev and main - #134

Merged
BBeltz1 merged 4 commits into
mainfrom
dev
May 27, 2026
Merged

sync dev and main#134
BBeltz1 merged 4 commits into
mainfrom
dev

Conversation

@andybeet

@andybeet andybeet commented May 27, 2026

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

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 27, 2026 18:48
@andybeet andybeet changed the title Dev sync dev and main May 27, 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.

passed review previously, good to merge

@BBeltz1
BBeltz1 merged commit 7c9a878 into main May 27, 2026
11 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.

update workflow to use github app

2 participants