[petsc-dev] get rid of https://bitbucket.org/petsc/petsc-dev NOW

[Satish Balay]

On Thu, 4 Sep 2014, Jed Brown wrote:

> > I'm suprised 'git branch' doesnt do the most obvious thing that one
> > would expect. [default to - or have an option to list the current
> > branch - not all the branches]
> 
> Perhaps, but it wouldn't fix the problem because there isn't always a
> "current branch".  I would rather script with plumbing commands instead
> of ones that could change output format.

Well its giving useful info burried in a big list. Why not just give
that one line?

Satish