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


Reply via email to