Git policy on undoing

[Joachim Zobel <jzobel@heute-morgen.de>]

Hi.

Is there a git policy concerning on undoing commits. I have committed
and pushed) a first attempt to build netbeans with openjdk-7, which is
most likely obsolete (and not working on unstable). Should I delete it
or should I commit an inverse change.

Sincerely,
Joachim