Pull requests on your tickets

Development work now lives next to the ticket it belongs to. The new development pane links pull requests to tickets, and the board shows PR state at a glance:

• See whether a ticket's PR is open, merged, or closed without leaving the board.
• Filter the board by PR state to find what's ready for review.
• Jump straight from a ticket to its pull request.