Re: Closed PRs on dashboard

Michael Kay <mike@saxonica.com> writes:
> 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.

This turns out to be harder than you’d think. The problem is that access
to the GitHub API is rate limited to a fixed number of requests per hour
for unauthenticated users (and I don’t think we all want to have to
login to see the dashboard page, and I don’t want to write the front end
goo that would be required anyway).

Therea are only two choices: open PRs or all PRs. We have more than 300
pull requests, so getting them all burns through the rate limit too
quickly to be useful.

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

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica