<< GitwebModCgi | Index | Grep >>

Git Tip from GregKH

gitk ORIG_HEAD..
after pulling a branch from someone.
You can also do:
git shortlog ORIG_HEAD..
or
git diff --stat --summary ORIG_HEAD..
as well.
And if things went wrong:
git reset --hard ORIG_HEAD