Skip to content

v5.0.x: Fix mailmap file #10921

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Oct 14, 2022
Merged

Conversation

jsquyres
Copy link
Member

See individual commit messages for details.

This is the v5.0.x PR corresponding to the main PR #10918. This PR will fix the CI make distcheck failures for PR's pending to the v5.0.x branch.

George Katevenis had two names in git logs.  Add a mailmap entry
to force use of his full name.

Signed-off-by: Brian Barrett <[email protected]>
(cherry picked from commit ce5d507)
I had a slightly different name for commits from my personal email account,
resulting in two AUTHORS entries.  Update the name so that they are merged
into one entry.

Signed-off-by: Brian Barrett <[email protected]>
(cherry picked from commit d427ab0)
@awlauria awlauria merged commit 1d70da1 into open-mpi:v5.0.x Oct 14, 2022
@jsquyres jsquyres deleted the pr/v5.0.x/AUTHORS-fix branch October 14, 2022 15:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants