On 21 February 2012 22:53, Jean-Yves Avenard <jyavenard [at] gmail> wrote: >> I had a problem earlier today with some commits against >> non-HEAD of master. I though I had reset and reverted locally, >> but a commit & push tonight did some "damage." >> >> Is it possible to destroy those 5 pushes to packaging/master?