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

Improve check-in schedule and other minor cleanups. #139

Merged
merged 5 commits into from Aug 1, 2019

Conversation

@davidtwco
Copy link
Member

commented Aug 1, 2019

Fixes #60. This isn't super robust yet, but it's better than the out-of-date list we have now.

davidtwco added some commits Aug 1, 2019

@spastorino

This comment has been minimized.

Copy link
Member

commented Aug 1, 2019

@davidtwco looks good to me, CI if failing though

@davidtwco

This comment has been minimized.

Copy link
Member Author

commented Aug 1, 2019

@davidtwco looks good to me, CI if failing though

Oops, fixed.

@spastorino spastorino merged commit 3a42a06 into rust-lang:master Aug 1, 2019

1 check passed

Travis CI - Pull Request Build Passed
Details

@davidtwco davidtwco changed the title Improve merge request schedule and other minor cleanups. Improve check-in schedule and other minor cleanups. Aug 2, 2019

@davidtwco davidtwco deleted the davidtwco:tidy-up branch Aug 2, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.