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 (#827)
by Tomáš
04:15 queued 03:23
created

Changes

Test Coverage has decreased to 88% (-1%).
???
Test Coverage
88%
▼ -1%   –   Changes
Head
Tomáš Votruba  
Merge 4aa8d6eeba828e2450698e29ea2f26294e998198 into 71bf5c4297401f473100d9f27fb63d3860b7e479
17 more commits
Base
Alexander Jank  
Merge pull request #826 from ApiGen/drop-description-hidding