Skip to content

Restore original authorship of the arm64 release support work - #27

Merged
maoueh merged 7 commits into
release/v3.x-fhfrom
feature/lost-commit-ownership-for-a-pr--25
Aug 12, 2026
Merged

Restore original authorship of the arm64 release support work#27
maoueh merged 7 commits into
release/v3.x-fhfrom
feature/lost-commit-ownership-for-a-pr--25

Conversation

@maoueh

@maoueh maoueh commented Aug 12, 2026

Copy link
Copy Markdown

What

Merges the history of #25 into release/v3.x-fh so that the six original commits by @excalq become part of this branch.

This PR changes no files. It is an "ours" merge: the resulting tree is byte-identical to release/v3.x-fh as it stands today. GitHub will show "0 files changed", which is expected.

Why

#26 re-implemented the arm64 multi-arch release work of #25 from scratch. The shipped result is functionally the work proposed in #25, but because none of the original commits landed, @excalq lost all authorship and contribution credit for it. This merge brings those commits into the branch history so the credit is restored, without touching a single line of the current tree.

Important

This must be merged with "Create a merge commit". Squash or rebase merging would flatten the ancestry and defeat the entire purpose of the PR.

excalq and others added 7 commits August 10, 2026 18:39
…support

PR #26 re-implemented the arm64 multi-arch release work of PR #25 from
scratch, so the six original commits by Arthur Kepler (@excalq) never
landed here and their authorship was lost.

This merge brings that history back into the branch. It is an "ours"
merge: the tree is byte-identical to the pre-merge state, so nothing in
the working tree changes. Only the commit graph gains the original
commits, restoring authorship and GitHub contribution credit for the
work that PR #26 shipped.

Original PR: #25
Superseding PR: #26
@maoueh
maoueh merged commit c6f9226 into release/v3.x-fh Aug 12, 2026
2 checks passed
@maoueh
maoueh deleted the feature/lost-commit-ownership-for-a-pr--25 branch August 12, 2026 19:34
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.

2 participants