I made no local changes; and get the following
message:
git reset --hard origin/firedrake
HEAD is now at 511e85b runhtml.py: fix bug with searching for warnings
On 9 May 2016, at 08:07, Onno Bokhove <O.Bokhove@leeds.ac.uk> wrote:
_______________________________________________Dear,
How to I "fix them up in the work tree", etc?I try to update firedrake because a coupleof update from Will and Fruderyk don't work on my laptop.
I used the:
Pull is not possible because you have unmerged files.Please, fix them up in the work tree, and then use 'git add/rm <file>'as appropriate to mark resolution and make a commit.Traceback (most recent call last):File "../bin/firedrake-update", line 905, in <module>petsc_changed = git_update("petsc", deps["petsc"])File "../bin/firedrake-update", line 336, in git_updatecheck_call(["git", "pull"])File "../bin/firedrake-update", line 205, in check_callsubprocess.check_call(arguments, env=env)File"/usr/local/Cellar/python/2.7.10_2/Frameworks/Python.framework/Versions/2.7/lib/python2.7/subprocess.py", line 540, in check_call
raise CalledProcessError(retcode, cmd)subprocess.CalledProcessError: Command '['git', 'pull']' returned non-zero exit status 1
firedrake mailing list
firedrake@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/firedrake