-
Notifications
You must be signed in to change notification settings - Fork 12.8k
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
Generate Property Note #110300
Generate Property Note #110300
Conversation
Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @jackh726 (or someone else) soon. Please see the contribution instructions for more information. Namely, in order to ensure the minimum review times lag, PR authors and assigned reviewers should ensure that the review label (
|
fixes rust-land/rust#103001 |
Hi, can you rebase to remove that merge commit out of the PR history? We have a no merge commit policy. Also, it seems like a lot of the commits in this stack have duplicated names. Maybe they can be squashed into each other? |
Also, that |
The job Click to see the possible cause of the failure (guessed by this bot)
|
Created for #103001.
Generates the missing property note: