Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Merge cuviper in the mailmap #123873

Merged
merged 1 commit into from
Apr 13, 2024
Merged

Merge cuviper in the mailmap #123873

merged 1 commit into from
Apr 13, 2024
+2 −0

Conversation

cuviper
Copy link
Member

@cuviper cuviper commented Apr 12, 2024

These emails are associated with my GitHub account already, but I might as well
combine my activity for stuff like the Thanks page too.

@cuviper
Merge cuviper in the mailmap
Loading
Loading status checks…
a7201db
@rustbot
Copy link
Collaborator

rustbot commented Apr 12, 2024

r? @Mark-Simulacrum

rustbot has assigned @Mark-Simulacrum.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added A-meta Area: Issues & PRs about the rust-lang/rust repository itself S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 12, 2024
@lqd
Copy link
Member

lqd commented Apr 12, 2024

r? lqd @bors r+ rollup

@bors
Copy link
Contributor

bors commented Apr 12, 2024

📌 Commit a7201db has been approved by lqd

It is now in the queue for this repository.

@rustbot rustbot assigned lqd and unassigned Mark-Simulacrum Apr 12, 2024
@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 Apr 12, 2024
@jhpratt jhpratt mentioned this pull request Apr 13, 2024
Merged
bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 13, 2024
@bors
Auto merge of rust-lang#123884 - jhpratt:rollup-1kwk0jz, r=jhpratt
Loading
Loading status checks…
59c38c0 
Rollup of 4 pull requests

Successful merges:

 - rust-lang#123835 (Avoid more NonNull-raw-NonNull roundtrips in Vec)
 - rust-lang#123868 (Stabilize (const_)slice_ptr_len and (const_)slice_ptr_is_empty_nonnull)
 - rust-lang#123872 (Fix Pietro's entry in the mailmap)
 - rust-lang#123873 (Merge cuviper in the mailmap)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 1a75ce0 into rust-lang:master Apr 13, 2024
11 checks passed
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Apr 13, 2024
@rust-timer
Unrolled build for rust-lang#123873
Loading
Loading status checks…
1c81f63 
Rollup merge of rust-lang#123873 - cuviper:mailmap, r=lqd

Merge cuviper in the mailmap

These emails are associated with my GitHub account already, but I might as well
combine my activity for stuff like the Thanks page too.
@rustbot rustbot added this to the 1.79.0 milestone Apr 13, 2024
@cuviper cuviper deleted the mailmap branch April 21, 2024 18:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@lqd lqd

Labels
A-meta Area: Issues & PRs about the rust-lang/rust repository itself S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
1.79.0
Development

Successfully merging this pull request may close these issues.

None yet
5 participants
@cuviper @rustbot @lqd @bors @Mark-Simulacrum