Thanks Ian,

I tried deleting the repository as you suggested, but then the push error changed to

/usr/local/bin/git --git-dir='/Users/Guy/Documents/EinsteinToolkit/Cactus/cactusjar.git/.git' push -v -f --all '/Users/Guy/Documents/EinsteinToolkit/Cactus/../CactusSourceJar.git’

from 

/usr/local/bin/git --git-dir='/Users/Guy/Documents/EinsteinToolkit/Cactus/configs/sim/configjar.git/.git' push -v -f --all '/Users/Guy/Documents/EinsteinToolkit/Cactus/cactusjar.git’

(the configjar.git was somehow recreated here)

I then tried deleting both cactusjar.git and configjar.git, but the same thing happened.

I then tried removing Formaline from the thornlist and it ran OK.  I am not sure if I will need the repositories?