-- ## 9: All Tickets ## --

SELECT p.value AS __color__,
   id AS ticket, summary, t.type AS type, 
   owner, status,
   time AS created,
   changetime AS _changetime, description AS _description,
   reporter AS _reporter
  FROM ticket t
  LEFT JOIN enum p ON p.name = t.priority AND p.type = 'priority'
  ORDER BY CAST(p.value AS integer), milestone, t.type, time