Any command to simplify 'git fetch origin && git reset --hard origin/master'?
- From
Ping Yin <pkufranky@gmail.com>
- Date
- Jan 19, 2008, 05:22 UTC
- 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