> git remote update origin would be the easiest way. How is this different than git fetch? Assuming the unneeded branches aren't huge.
_______________________________________________ geda-user mailing list geda-user@moria.seul.org http://www.seul.org/cgi-bin/mailman/listinfo/geda-user
