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

Satish Balay balay at mcs.anl.gov
Thu Sep 4 17:01:49 CDT 2014

On Thu, 4 Sep 2014, Barry Smith wrote:

>   Satish,
>     Can we dump the branch name to configure.log as well so I don’t need to remember the incantation git branch -r —contains ?
>   Barry

Caveat: branchname is not a unique string - and some user branch names
can be misleading [one could even call a random branch 'next' or
'maint' in their clone]. And there is also deteached heads..


How do I get a branch name? I would assume 'git branch' would give
this info - but it does not [it gives a big list]

has too many options - most are not suitable..

git branch | sed -n '/\* /s///p'

This is most appropriate. Is this the one to use? [git prompt also does it properly..]



balay at asterix /home/balay/petsc (master)
$ git branch | sed -n '/\* /s///p'

balay at asterix /home/balay/tmp/petsc ((e648208...))
$ git branch | sed -n '/\* /s///p'
(detached from origin/master)

More information about the petsc-dev mailing list