Closed PRs on dashboard

Just a reminder that it would be useful to keep closed PRs on the dashboard for a while after they have been applied - it's useful when implementing a new feature or when writing tests.

Mike

Received on Tuesday, 12 September 2023 16:16:51 UTC