Ah - I see what you mean. Yes, that would be useful. The simplest solution would be to have automation to move the issue from the "To do" column to the "In progress" column if the issue satisfies the "linked:pr" GitHub query. You can already do this dynamically to see a subset of the backlog by just typing "linked:pr" into the "filter cards" text box on [1], but making that the default view show these two separate categories of issue (those with an associated PR, and those without) visually may be best for clarity. Any thoughts on this Ariel?
Cheers,
James