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 (#5)
by thomas
01:59
created

Changes

17 new patches (Indentation, Spacing) are available.
1 added class/operation
Arrow A Length::intVal() added
9.17
▶   ± 0
Test Coverage
100%
▶ ±0%
Head
Thomas Kerin  
Merge 9793ecefff6aa8abaf5ebe1314e190e20d2bf6c5 into dfa6e91ea2c8bb9146c0f36b4aa740a031ea1420
1 more commit
Base
Joni Eskelinen  
Ensure substr() receives length as integer