removing a single commit from staging

[Graham Percival]

whoops, I forgot that I had to always do
  touch ../Documentation/*.te??
before make would actually compile stuff.  As a result, staging is
broken.

I want to remove
  9eb76031c027ffdccd2ea5cf86985617a00982b7
however, how do I do that?  I know that I can force push
975c00a63710da2472f57fbb6d5a484541f27c66 (i.e. origin/staging^) to
staging, which would remove 9eb76, but if anybody had pushed stuff
to staging in the last 2 minutes, it would delete their work as
well.

Suggestions?

Cheers,
- Graham