Skip to content

Update mailmap to proper syntax #60565

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 1 commit into from
May 6, 2019
Merged

Conversation

Mark-Simulacrum
Copy link
Member

Also updates my entry to the proper name

Also updates my entry to the proper name
@rust-highfive
Copy link
Contributor

r? @nikomatsakis

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 5, 2019
@Mark-Simulacrum
Copy link
Member Author

r? @pietroalbini

Noticed when working on next iteration of Thanks.

@pietroalbini
Copy link
Member

For future reference, the mailmap syntax is defined here.

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented May 6, 2019

📌 Commit 91e0c25 has been approved by pietroalbini

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels May 6, 2019
@bors
Copy link
Collaborator

bors commented May 6, 2019

⌛ Testing commit 91e0c25 with merge d98a165...

bors added a commit that referenced this pull request May 6, 2019
Update mailmap to proper syntax

Also updates my entry to the proper name
@pietroalbini
Copy link
Member

In the future it might be worth to extract the mailmap handling logic from thanks into a separate crate and reuse it to check the syntax in tidy.

@bors
Copy link
Collaborator

bors commented May 6, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: pietroalbini
Pushing d98a165 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label May 6, 2019
@bors bors merged commit 91e0c25 into rust-lang:master May 6, 2019
@Mark-Simulacrum Mark-Simulacrum deleted the mailmap-fixes branch June 8, 2019 13:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants