> 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@xxxxxxxxxxxxxx http://www.seul.org/cgi-bin/mailman/listinfo/geda-user