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

space migrate: refresh pool on fail #1657

Merged
merged 1 commit into from
May 19, 2021
Merged

space migrate: refresh pool on fail #1657

merged 1 commit into from
May 19, 2021

Commits on May 19, 2021

  1. space migrate: refresh pool on fail

    If migrate fails because it was cancelled, the current pool it is
    operating on will be deleted. As a result, refresh pools on failure so
    things remain up to date.
    
    Also:
    - Use tee-1 package to tee migration logs into the brim process stderr.
      Better to have some visibility than none.
    mattnibs committed May 19, 2021
    Configuration menu
    Copy the full SHA
    54e47ce View commit details
    Browse the repository at this point in the history