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.

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

when josh-proxy screws up the roundtrip, say what the involved commits are #17761

Merged
merged 1 commit into from
Aug 1, 2024

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Aug 1, 2024

Helps debugging #17733

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 1, 2024
@lnicola
Copy link
Member

lnicola commented Aug 1, 2024

Thanks, makes sense, I actually wanted to do the same thing in the past.

@bors r+

@bors
Copy link
Contributor

bors commented Aug 1, 2024

📌 Commit 83e5349 has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Aug 1, 2024

⌛ Testing commit 83e5349 with merge 6c9ae75...

@bors
Copy link
Contributor

bors commented Aug 1, 2024

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing 6c9ae75 to master...

@bors bors merged commit 6c9ae75 into rust-lang:master Aug 1, 2024
11 checks passed
@RalfJung RalfJung deleted the josh-roudntrip-error branch August 1, 2024 11:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants