[petsc-dev] Usability

[Satish Balay]

As I understand it [from discussing with Jed] - 'git HEAD' is
equivalent to 'hg parent'.

But I'm not sure what the equivalent of 'hg head' is.
[which is where all dangling heads would be captured - and 
hg would warn/force a merge - before push]

Satish

On Mon, 11 Mar 2013, Matthew Knepley wrote:

> Read the bottom of this page Jed sent:
> 
>   http://gitolite.com/gcs/
> 
> This detached HEAD business is something that makes Git less usable.
> It is very flexible, but this is easy to screw up. If we are branching
> around this is going to screw up right away.
> 
> So, on this page that Karl is writing, we don't just need instructions for
> doing things correctly. We need a bunch of diagnostic commands that
> will tell you what is happening and tell you what is screwed up.
> 
>    Matt
> 
>