There are two pages in the documentation concerned with how to report bugs properly: Develop on Saros / Processes / Bug Tracking (http://www.saros-project.org/bugtracker) and Develop on Saros / Guidelines / Ticket Guidelines (http://www.saros-project.org/TicketGuidelines). They should probably be merged, but they contradict each other in some parts.