develop #11
Owner
No description provided.
m.b
added 2 commits 2026-06-17 05:59:47 +00:00
All checks were successful
Check Deleted Workflows / check-deleted-workflows (pull_request) Successful in 1m5s
Details
j.r
scheduled this pull request to auto merge when all checks succeed 2026-06-17 06:01:50 +00:00
j.r
added 1 commit 2026-06-17 06:01:59 +00:00
All checks were successful
Check Deleted Workflows / check-deleted-workflows (pull_request) Successful in 1m5s
Details
j.r
scheduled this pull request to auto merge when all checks succeed 2026-06-17 07:07:13 +00:00
Merge pull request 'develop' (#11) from develop into main
Reference in New Issue
Block a user
Delete Branch "develop"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?