align dev with release (one-time, no content change) #164
No reviewers
Labels
No labels
Compat/Breaking
Kind/Bug
Kind/Documentation
Kind/Enhancement
Kind/Feature
Kind/Security
Kind/Testing
Priority
Critical
Priority
High
Priority
Low
Priority
Medium
Reviewed
Confirmed
Reviewed
Duplicate
Reviewed
Invalid
Reviewed
Won't Fix
Status
Abandoned
Status
Blocked
Status
Need More Info
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: Jinemi/thermograph#164
Loading…
Reference in a new issue
No description provided.
Delete branch "release"
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?
Prerequisite for fast-forward promotions.
Promotions have used merge commits, so each one left a merge commit on the target that the source never had:
mainholds 23 commitsdevlacks,releasea further 2. That makesdev->mainimpossible to fast-forward.All three trees are already identical — this changes no files. It only advances
devtorelease's tip so the invariantrelease ⊆ main ⊆ devholds from here on, after which every promotion is a fast-forward.Merge this fast-forward only.