From: Ping Yin <pkufranky@gmail.com>
Date: Sat, 19 Jan 2008 05:22:31 GMT
Subject: Any command to simplify 'git fetch origin && git reset --hard origin/master'?
Message-ID: <46dff0320801182122t1581b366yad123407aaad6326@mail.gmail.com>

I often encounter the case that the origin reposotory is rebased and i
make sure i want to use the origin head as my master
Now I have to do
$ git fetch origin && git reset --hard origin/master

Should we introduce 'git pull --force-update' or something else to do
the command combination?

-- 
Ping Yin