Jon Petrie, the BBC’s director of comedy, is leaving the broadcaster to join Hat Trick Productions. Petrie will become the new creative director of Hat Trick, the independent comedy production company ...