down-merge release into main (unblocks the prod promotion) #140
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#140
Loading…
Reference in a new issue
No description provided.
Delete branch "chore/downmerge-release-to-main"
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?
release carried four commits that never came back to main: the onboarding guide (
a23c667), its follow-up fixes (18f50ad, #99) and two alerting fixes (9b0fae5#94,1f9a6f0#96). Because release was therefore not an ancestor of main, main -> release could not merge under any style — that is the cause of #132 reporting mergeable=false.The merged tree is byte-identical to main: all four changes had already reached main independently, so this PR changes no files. It only restores ancestry, after which main -> release fast-forwards.
Conflicts were add/add on docs/onboarding/* and one comment line in observability/grafana/provisioning/alerting/rules-prod.yml, all resolved to main. release copies of the onboarding guide predate the vps1/vps2 cutover and still describe beta on vps1, dev on the desktop and Forgejo co-located with beta.
BRANCHING.md requires this down-merge in the same session as the hotfix; that was missed at the time.