release: sync main with development (2026-06-02) #7
No reviewers
Labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
lhumina_code/hero_planner!7
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "development"
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?
Summary
Bring main up to current development tip per branching policy (merge-commit promotion). Two commits land:
977543bfeat: add workspace export/import as TOML(Kristof)bca78a1fix(ci): authenticate cargo git fetches via FORGE_TOKEN(#6, today)The CI fix is needed on main so any future main-trigger workflow (per the June 2 meeting's
latest-maingoal) will work.Merge style
Per branching policy: Create merge commit (not squash) — preserves the individual commits on main's history.