On Mar 21, 2011, at 12:25 PM, Erik Faye-Lund wrote: > You could use the --upload-pack option when pulling ... > You should probably look into getting > it fixed in the external tool, if possible. Yes, probably the best course of action is to modify the tool so it can accept arbitrary Git parameters as options for its push command, then specify --receive-pack as one of those options. Thanks for your help, Trevor -- 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