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

Revert #562 #563

Closed
psychon opened this issue Nov 29, 2020 · 1 comment · Fixed by #566
Closed

Revert #562 #563

psychon opened this issue Nov 29, 2020 · 1 comment · Fixed by #566
Labels
P1 Priority High

Comments

@psychon
Copy link
Owner

psychon commented Nov 29, 2020

#562 is a temporary measure until a beta with the fix for rust-lang/rust#79498 is out. Once that happens, #562 should be reverted.

Edit: I also changed the GitHub branch protection rules in the web settings, so that should be reverted as well.

@psychon psychon added the P1 Priority High label Nov 29, 2020
@psychon
Copy link
Owner Author

psychon commented Dec 11, 2020

It seems like the relevant PR was beta-backported today: rust-lang/rust#79903

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
P1 Priority High
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant