Stranglely, when I tried I wasn't on the master branch, so I had to do
cd wavetral
git checkout master
git pull
Maybe it's just my git setup.

You have both 'main' and 'master' branches.

You need to delete the 'main' branch locally:

$ git branch -D main

Then push the deletion up. Not sure if just this command would do it:

$ git push origin

or  maybe you need:

$ git push origin +main


Yuri