I'm unable to upgrade my production server to 2.18 because it seems that one cannot get it running correctly on Ubuntu 20.04, and at the moment we're unable to upgrade to Ubuntu 22.04.
To guard against my habit of running a 'git pull' whenever I'm doing server maintenance, I'd like to put the server on the 2.17 branch, since 'main' is now 2.18.
In /opt/webwork/webwork2, 'git status' returns
On branch main
Your branch is behind 'origin/main' by 842 commits, and can be fast-forwarded
Running 'git branch' returns * main, and 'git branch -r' returns
origin/2.12-r
origin/HEAD -> origin/main
origin/WeBWorK-2.17
origin/develop
origin/main
origin/mojolicious-template-themes
origin/ww3
If I do 'git switch WeBWorK-2.17, I get the message "fatal: a branch is expected, got tag 'WeBWorK-2.17'"
I can switch to the branch using 'git checkout -b WeBWorK-2.17' (without -b I end up in a detached head state) but this doesn't seem like the right approach.
Is there a better way to stay on the 2.17 branch?