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

Add a mailmap entry for bjorn3 #131395

Merged
merged 1 commit into from
Oct 8, 2024
Merged

Add a mailmap entry for bjorn3 #131395

merged 1 commit into from
Oct 8, 2024

Conversation

bjorn3
Copy link
Member

@bjorn3 bjorn3 commented Oct 8, 2024

No description provided.

@rustbot
Copy link
Collaborator

rustbot commented Oct 8, 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 Oct 8, 2024
@lqd
Copy link
Member

lqd commented Oct 8, 2024

@bors r+ rollup

@bors
Copy link
Contributor

bors commented Oct 8, 2024

📌 Commit aeaea1b has been approved by lqd

It is now in the queue for this repository.

@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 Oct 8, 2024
@matthiaskrgr matthiaskrgr mentioned this pull request Oct 8, 2024
Merged
bors added a commit to rust-lang-ci/rust that referenced this pull request Oct 8, 2024
@bors
Auto merge of rust-lang#131404 - matthiaskrgr:rollup-z0dawoo, r=matth…
10a9ee0 
…iaskrgr

Rollup of 3 pull requests

Successful merges:

 - rust-lang#131348 (More `rustc_infer` cleanups)
 - rust-lang#131392 (Drop compiletest legacy directive check)
 - rust-lang#131395 (Add a mailmap entry for bjorn3)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 37a8ad8 into rust-lang:master Oct 8, 2024
6 checks passed
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Oct 8, 2024
@rust-timer
Unrolled build for rust-lang#131395
0778c7a 
Rollup merge of rust-lang#131395 - bjorn3:bjorn3_mailmap, r=lqd

Add a mailmap entry for bjorn3
@rustbot rustbot added this to the 1.83.0 milestone Oct 8, 2024
@bjorn3 bjorn3 deleted the bjorn3_mailmap branch October 12, 2024 16:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@Mark-Simulacrum Mark-Simulacrum

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.83.0
Development

Successfully merging this pull request may close these issues.
5 participants
@bjorn3 @rustbot @lqd @bors @Mark-Simulacrum