Skip to content

docs: point recorded commit IDs at the rewritten history; neutral changelog wording - #11

Merged
rustfuture merged 1 commit into
mainfrom
chore/history-followup
Sep 27, 2026
Merged

rustfuture merged 1 commit into
mainfrom
chore/history-followup

Conversation

@rustfuture

Copy link
Copy Markdown
Owner

Updates commit IDs recorded in validation notes and demos to the IDs of the rewritten history (file contents are unchanged), adds docs/commit-id-map.md mapping each updated reference to its original ID, and uses neutral wording for removed editor tooling in the changelog.

…ngelog wording

Updates commit IDs recorded in validation notes and demos to the IDs of the rewritten history (file contents are unchanged), adds docs/commit-id-map.md mapping each updated reference to its original ID, and uses neutral wording for removed editor tooling in the changelog.
@rustfuture
rustfuture merged commit 828d9cc into main Sep 27, 2026
4 checks passed
@rustfuture
rustfuture deleted the chore/history-followup branch September 27, 2026 20:00
Repository owner deleted a comment from coderabbitai Bot Oct 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant