a customized Redmine ticketing system