Skip to content

Makefile job to merge develop into main#19

Merged
javuto merged 1 commit into
developfrom
makefile-develop-to-main
Jun 7, 2026
Merged

Makefile job to merge develop into main#19
javuto merged 1 commit into
developfrom
makefile-develop-to-main

Conversation

@javuto

@javuto javuto commented Jun 7, 2026

Copy link
Copy Markdown
Contributor

New job in Makefile to merge develop into main, to prepare for new releases: develop-merge

@javuto javuto added the 🛠️ development Development related issues label Jun 7, 2026
@javuto javuto merged commit 89ff098 into develop Jun 7, 2026
2 checks passed
@javuto javuto deleted the makefile-develop-to-main branch June 7, 2026 14:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🛠️ development Development related issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant