Available in github: https://github.com/codito/gnome-shell-pomodoro
Installation
- Copy the files in src to ~/.local/share/gnome-shell/extensions/pomodoro@arun.codito.in directory
- Press Alt + F2, and r in command to restart gnome-shell
- Click on the panel item to toggle the timer state
Just has the bare minimum functionality at the moment
Feel free to fork away. Enjoy!

Using archlinux to, using the last git commit on gnome 3.0.1 dosn’t work, it say that is not compatible with my gnome version..
Martino, this is fixed in github now. Please give it a try.
Now work.. thanks!!
Wow its great extension!! Thanks!
Glad you liked it
A Pomodoro timer, with more bells and whistles.
http://code.google.com/p/pomodoro-timer/
Thanks Aman. Great stuff. Would you mind creating a patch for these features? We could apply to the upstream github repo.
Pingback: Gnome shell extension – Pomodoro timer « A Hitchhiker’ s Logbook
Pingback: Salsa di Pomodoro. « GUSTO E SAPORI