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.

Sign up for GitHub

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

Jump to bottom

sequent 8 upgrade improvements #429

Merged

erikrozendaal merged 2 commits into sequent-8 from sequent-8-upgrade-improvements

Nov 13, 2024

Member

lvonk commented Nov 13, 2024 •

edited

Loading

Improve text on upgrade command
Suggest --conservative instead of --source.

lvonk added 2 commits

November 13, 2024 12:00


          Improve text on upgrade command

f3d2765

Clarify that the script will guide you through the steps.


          Suggest --conservative instead of --source.

7ea18a6

lvonk requested a review from erikrozendaal

November 13, 2024 11:01

lvonk changed the base branch from master to sequent-8

November 13, 2024 11:01

erikrozendaal merged commit cb805fb into sequent-8

6 checks passed

erikrozendaal deleted the sequent-8-upgrade-improvements branch

November 13, 2024 11:08

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet