Skip to content

chore: update GitHub Action to automatically merge develop into open PRs - #1273

Merged
janosbabik merged 1 commit into
developfrom
update-github-action
Nov 27, 2025
Merged

chore: update GitHub Action to automatically merge develop into open PRs#1273
janosbabik merged 1 commit into
developfrom
update-github-action