An IRC-based ticket system