On Wed, Dec 29, 2010 at 12:10 AM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> 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 ...
git revert would give you an extra commit. Andrew was speaking of git
reset, which can be used to undo a commit.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company