On 8 Feb 2017, at 00:27, Guy Pitman <[email protected]> wrote: > 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?
Hi Guy, I wouldn't worry - most people never look at them. -- Ian Hinder http://members.aei.mpg.de/ianhin
_______________________________________________ Users mailing list [email protected] http://lists.einsteintoolkit.org/mailman/listinfo/users
