A time tracker plugin for Redmine