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 (#3)
by Ronald
03:53
created

Changes

3 new patches (Indentation, Spacing, Braces) are available.
2 added classes/operations
Arrow A EventInterval added
Arrow A EventInterval::divide() added
B A IntervalValuator::determineValue() improved
7.16
▶   ± 0
Head
Ronald Ashri  
Merge 289aaaf8a9f553276c7b6d637099847aec3a420b into e913e9029bf2d77e6765dfbb89dbb6aa9577f550
2 more commits
Base
istos  
Spacing fixes