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 - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
