Hi, On Tue, 16 Jan 2007, Michael S. Tsirkin wrote: > Would it be useful to have git-pull . FETCH_HEAD work? No. FETCH_HEAD is local. And for local merges, you should use git-merge, not git-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