From discussion today, this would have been useful for Arithmetic 1.1, as it was decided to create 1.2 to point to main after one RC. A script to move 1.1 to main could have been useful. @Luisav1 @jonathanolson @jessegreenberg.
@jonathanolson said this may take ~2 hours. Please let me know if I can help, and thank you.
From discussion today, this would have been useful for Arithmetic 1.1, as it was decided to create 1.2 to point to main after one RC. A script to move 1.1 to main could have been useful. @Luisav1 @jonathanolson @jessegreenberg.
@jonathanolson said this may take ~2 hours. Please let me know if I can help, and thank you.