chore: Ignore identifier-naming update in git blame - #7066
Conversation
There was a problem hiding this comment.
Pull request overview
Adds the large-scale identifier renaming commit from #6571 to the repository’s .git-blame-ignore-revs so that git blame can ignore it and preserve original authorship signal.
Changes:
- Add the #6571 commit SHA to
.git-blame-ignore-revswith an explanatory comment.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
bthomee
left a comment
There was a problem hiding this comment.
Copilot's suggestion looks valid, so please apply it.
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
There was a problem hiding this comment.
Pull request overview
Copilot reviewed 1 out of 1 changed files in this pull request and generated no new comments.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Co-authored-by: Bart <bthomee@users.noreply.github.com> Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Bart <bthomee@users.noreply.github.com> Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
High Level Overview of Change
In #6571 we changed most of the files in the project (identifier naming). This PR adds that commit git-blame-ignore-revs such that it does not pollute git's history in git blame and preserves the original authors instead.
API Impact
No impact.