GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.
Completed
Pull Request — master (#1197)
by Craig
03:12
created

Changes

2 added classes/operations
Arrow B TabsTest::testAsterisk() added
Arrow A TabsTest added
8.29
▶   ± 0
Head
Craig Blanchette  
Merge ec137e946ae371992e9b701968cfc8e84f5c1722 into dfa34c1f0afa97130fab78170f13b8adcd2075d4
1 more commit
Base
Moreno Feltscher  
Trim money_pattern to prevent leading spaces in translation keys (#1187)