I found 'git reset --hard HEAD' but it seems like a hammer to crack open a nut.
Many thanks in advance, Aaron -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html