On Sat, 1 Nov 2008, Thanassis Tsiodras wrote: > Thanks to everybody for your help. > > I will setup an alias to always use "git push --thin". > For the reverse direction, I don't see a --thin for "git pull", > > My understanding is that "git pull" is optimal, > and does what --thin does for push anyway, right? Exact. Nicolas -- 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