Closed PRs on dashboard

• From: Michael Kay <mike@saxonica.com>
• Date: Tue, 12 Sep 2023 17:16:32 +0100
• To: public-xslt-40@w3.org
• Message-Id: <6AF34EAB-FCDF-4FCE-9946-35B31FD6252D@saxonica.com>

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