Commit 66232e5
authored
chore(release): reconnect v0.13.2 merge history (#1881)
Problem
- The v0.13.2 release merge commit (`279738d`) is tagged but is not
reachable from `master`.
- This makes the release history look disconnected even though the
current `master` tree already contains the relevant follow-up contents.
Change
- Merge the `v0.13.2` tag into current `master` with a history-only
merge.
- The resulting tree is unchanged relative to `master`; this only
reconnects ancestry so `279738d` becomes reachable.
Notes
- Verified with `git merge-base --is-ancestor 279738d HEAD` on the PR
branch.
- `git diff --stat origin/master...HEAD` is empty by design.
Authored by OpenClaw (model: gpt-5.5)0 file changed
0 commit comments