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

Satish Balay balay at mcs.anl.gov
Fri Sep 5 11:16:22 CDT 2014


On Fri, 5 Sep 2014, Patrick Sanan wrote:

> This appears to work too:
> git name-rev --name-only HEAD
> (I think for detached heads it gives you master~1 or the like)

Yes, this also looks good.

thanks,
Satish




More information about the petsc-dev mailing list