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

Fix time and frequency of SMIR meetings #31

Merged
merged 1 commit into from
Jan 25, 2024

Conversation

spastorino
Copy link
Member

@celinval
Copy link

Awesome! I just don't know how to verify if the week that it will skip is in sync with ours.

@davidtwco
Copy link
Member

Awesome! I just don't know how to verify if the week that it will skip is in sync with ours.

It'll skip the week after the first week and every other week thereafter (so 19th Jan, then 2nd Feb, etc) - if that's right then we can merge this.

project-stable-mir.toml Outdated Show resolved Hide resolved
@spastorino
Copy link
Member Author

Comment addressed and the schedule is right ... following one is on Feb 2nd

@davidtwco davidtwco merged commit fefb7ad into rust-lang:main Jan 25, 2024
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants