Skip to content

chore(gitflow): upmerge main -> develop#25

Merged
mPokornyETM merged 16 commits intodevelopfrom
feature/upmerge-main-to-develop
Jan 16, 2026
Merged

chore(gitflow): upmerge main -> develop#25
mPokornyETM merged 16 commits intodevelopfrom
feature/upmerge-main-to-develop

Conversation

@github-actions
Copy link
Contributor

Automated upmerge PR.

Source: main
Target: develop
Branch: feature/upmerge-main-to-develop

If there are merge conflicts:

  1. Checkout feature/upmerge-main-to-develop locally
  2. Run git fetch origin then git merge origin/develop
  3. Resolve conflicts, commit, and push

mPokornyETM and others added 16 commits December 25, 2025 11:33
Added a list of currently included extensions in the README.
Provide automated release management
Trigger release on pushes into main
@mPokornyETM mPokornyETM marked this pull request as ready for review January 16, 2026 21:14
@mPokornyETM mPokornyETM merged commit d413650 into develop Jan 16, 2026
13 checks passed
@mPokornyETM mPokornyETM deleted the feature/upmerge-main-to-develop branch January 16, 2026 21:14
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