Re: Closed PRs on dashboard

> I’ll see if I can construct an alternate page for closed PRs.

There’s now a “available pull requests” page,

and a link to it from the home page (just below the dashboard link).

This page isn’t generated automatically, but it will be rebuilt at least
as often as I publish minutes and agendas :-)

The pattern for PR pages if you’re looking for one that you don’t see
linked is:

where ### is the PR number. If that link doesn’t work, the PR isn’t
avialable anymore.

                                        Be seeing you,

Norm Tovey-Walsh

Received on Wednesday, 13 September 2023 10:13:33 UTC