The commit you pulled should still be in your local repository (repo2),
unless you've done something to deliberately remove it.
If you're using the default repository setup when cloning, then master
branch of repo1 should be available as origin/master, so you can do the
following:
$ git reset --hard origin/master
or log:
$ git log origin/master
If you want to see all your branches, local or remote:
$ git branch -r
Note that you shouldn't checkout origin/master and work on it, but rather
you'll want to make a branch, and work on that:
$ git co -b fancy_branch origin/master
You may be getting the "cannot merge message" if you have uncommitted
changes, as git won't let you merge when the working copy is changed.
git-pull is really git-fetch + git-merge.
On Sat, Aug 25, 2007 at 07:19:46AM -0400, Jing Xue wrote: