[petsc-dev] Branch 'next' has been rewound

Jed Brown jedbrown at mcs.anl.gov
Wed May 15 14:33:49 CDT 2013


Satish Balay <balay at mcs.anl.gov> writes:

> Looks like 'git pull' might not work for a detached head. Is there an
> easy way to also have 'git pull' work?

That's why I wrote 'git fetch origin'.  That suggestion was for a
script, not for a user.


You can use a fully-qualified pull from a detached head, but it doesn't
have an implicit upstream.



More information about the petsc-dev mailing list