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 (#753)
by Omar El
02:16
created

Changes

1 added class/operation
Arrow A View::encodeHTML() added
9.28
▶   ± 0
Head
Omar El Gabry  
Merge dbda3f9d524f1230c8bc9fc36055ed7a9d22bdcd into bd14d234979951e7a37194fa6b2c3726c0e09cf7
2 more commits
Base
panique  
reverted: logo is now centered (to fit GitHub's new and wider UI)