Yes, and it doesn't seem to do anything. (Sorry I didn't mention it before.) But I'll make sure I try it again... next time I blow away my git tree. Until then, I'll keep trying pull.
- Dan
Dan I had to use /git fetch -f /to pick up teh last lot.
Jeff