Filter the helpdesk tickets by pipeline

This is an absolute must-have. There are Ticket-Pipelines that just manage internal processes and have nothing to do with communcation with clients. So, these pipelines should be excluded from the help desk.