Helpful git commands

Prune deleted branches

To have your local git repositories reflect cleanup (deletion of topic branches) on the remote (removing deleted branches from your local), simply do:

git fetch --prune

To do this for all repositories, you can do the following:

cd $DAKOTA_ROOT
git fetch --prune
git submodule foreach git fetch --prune
cd local
git fetch --prune
git submodule foreach git fetch --prune

Bad rebase recovery

The Git reflog command can be helpful in recovering from a bad rebase, though we recommend doing this in concert with someone from the infrastructure team who is highly Git saavy. Helpful notes: http://stackoverflow.com/questions/134882/undoing-a-git-rebase