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

[Satish Balay]

On Wed, 15 May 2013, Jed Brown wrote:

> 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.

pushed 'balay/scripts-use-git-detached-head' to be merged into 'maint' and 'master'

thanks,
Satish