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

remove restart options F and G #40

Merged
merged 8 commits into from
May 6, 2024

Conversation

weiyuan-jiang
Copy link
Contributor

These options are not necessary anymore. They were not well maintained and could create problems in the future.

@weiyuan-jiang weiyuan-jiang marked this pull request as ready for review May 2, 2024 16:27
@weiyuan-jiang weiyuan-jiang requested a review from a team as a code owner May 2, 2024 16:27
@gmao-rreichle
Copy link
Collaborator

Thanks, @weiyuan-jiang, for putting this together. Have you or @biljanaorescanin tested the branch? Looks good to me but to be safe we should test.

@weiyuan-jiang weiyuan-jiang requested a review from a team as a code owner May 3, 2024 14:50
@biljanaorescanin
Copy link
Collaborator

biljanaorescanin commented May 3, 2024

All nightly tests passed.

@weiyuan-jiang weiyuan-jiang force-pushed the feature/wjiang/rm_restart_options branch from 092eb91 to 684e941 Compare May 6, 2024 14:07
@gmao-rreichle gmao-rreichle merged commit c4f0df5 into develop May 6, 2024
7 checks passed
@gmao-rreichle gmao-rreichle deleted the feature/wjiang/rm_restart_options branch May 6, 2024 14:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants