The dashboard now redirects to GitHub

Hi folks,

As of sometime this morning, if you click on a PR link that goes to the dashboard, the dashboard will automatically redirect you to the GitHub pull request if the PR has been closed and no longer appears on the dashboard.

This is only done at window load time, so if you already have the page open and you just change the hash in the address bar, it won’t redirect unless you then reload the page.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica