Thanks so much for your help.
Now your "git push -u origin master" was "![rejected]", after
creating a new SSH and after your "git clone" and other "git remote
rename ..." commands seemed to work:
$ git clone g...@github.com:joshuaulrich/tmp-ecfun.git Ecdat
# Cloning into 'Ecdat
> Ben Bolker writes:
Thanks: fixed now in the trunk.
Best
-k
> My colleague points out that these typos are probably still present
> because almost no-one has the stamina to read that far down in ?switch ...
> cheers
> Ben Bolker
> x[DELETED ATTACHMENT switch_patch.txt, plain text]