[gnome-flashback] Take care while pushing

[Philipp Kaluza <floss ghostroute eu>]

Hi Sebastian,
you accidentally pushed your version of the "features/merge-gnome-panel"
branch that you had up on github, and that I had already rejected,
because it did a merge commit between the real merge commit and the
add-everything-anew commit. Please look at how to revert this. (Hint:
you'll need to reset it locally to 254c94c, reset on server, and push to
server again.)

Please look up the default behavior of "git push" (Hint: the git 2.0
release notes changes this, and explain how to get the new behavior, and
why it is less confusing).

Cheers
  Philipp

-- 
Philipp Kaluza
Ghostroute IT Consulting