On Wed, Dec 29, 2010 at 12:10 AM, Tom Lane <[email protected]> wrote: > Andrew Dunstan <[email protected]> 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 -- Sent via pgsql-committers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-committers
