Andrew Dunstan <andrew(at)dunslane(dot)net> writes:
> On 12/28/2010 11:50 PM, Tom Lane wrote:
>> Think I'll use -n in future.
> Would not git reset have undone the faulty commit if necessary?
Possibly. I looked at git revert, concluded it wouldn't do what
I wanted, and just went with an additional commit. Still learning
the tool ...
regards, tom lane