I imagine that both pull and push have to be done with explicit -r "master"? In particular, even if rep was cloned using branch, push still requires -r, right?
If so, we should clarify this on the wiki. Steph -- http://stephane.magnenat.net _______________________________________________ glob2-devel mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/glob2-devel
