Hi, On Wed, 28 Nov 2007, Jeff King wrote: > Since get_headref is useful in contexts where "$remote" is not always > prepended (see patch 3/3), I think the best solution is: > > [PATCH prefixing the argument to get_headref() with "$remote/"] Yes, I think so, too. Thanks, 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
