[petsc-dev] memory leak

[Satish Balay]

On Mon, 1 Jun 2015, Mark Adams wrote:

> Matt, I just cloned PETSc/master.  I did not create any branches.

Cloning over network can be easily avoided by using local clones.

And to reset 'master' [and abandon your current changes to it] - you could either do:

git checkout someotherbranch
git branch -D master
git checkout master

or
git checkout master
git reset --hard origin/master

Also 'git-prompt.sh' helps in tracking changes to any giving 'branch'
wrt 'origin/branch'.. [assuming you do a 'git fetch' to sync changes
from remote repo]

Satish