Hi, On Sat, 19 Jan 2008, Ping Yin wrote: > 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 Just make an alias if you're too lazy to type. Personally, I do not see much sense in it, and it is too dangerous to bless it with an option to fetch or pull. Ciao, Dscho - 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
