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 — develop (#41)
by Chris
02:05
created

Changes

3 issues (1 minor, 2 informational) were introduced.
2 new patches (Spacing) are available.
1 added class/operation
Arrow B namespace.php ➔ numbers_of_players() added
7.35
▶   ± 0
Test Coverage
59%
▶ ±0%
Head
Chris Reynolds  
Merge 228f6e167102e29c6056cb652e3dd4be4826223d into ec64d740f5de4182f028a838df7eed46650da597
9 more commits
Base
Chris Reynolds  
update changelog