bender/d0748e64-d78a-4b33-bdfc-52cebe9b7c74
1
0
Fork 0
Code Issues Pull Requests 14 Actions Packages Projects Releases Wiki Activity

Merge version_13 into main #13

Open
bender wants to merge 0 commits from version_13 into main
pull from: version_13
merge into: bender:main
Conversation 0 Commits - Files Changed -
bender commented 2026-02-17 13:29:01 +00:00
Owner
Copy Link

Automated merge of version_13 into main

Automated merge of version_13 into main
This branch is already included in the target branch. There is nothing to merge.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin version_13:version_13
git checkout version_13
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
bender
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: bender/d0748e64-d78a-4b33-bdfc-52cebe9b7c74#13
Delete Branch "version_13"

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?