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.

Inspections

Branch
Document need for copying error templates.

feature/user-friendly-error-pages . 504448...3daf9c . push triggered

  Data is cleaned up.
01:36
created
Routes and translations are application-specific.

develop . #4 . pull request triggered

  Data is cleaned up.
01:38
created
Routes and translations are application-specific.

feature/user-friendly-error-pages . 504448 . push triggered

  Data is cleaned up.
01:43
created
01:32
created
User friendly error pages, ART display, ART logging

develop . #3 . pull request triggered

  Data is cleaned up.
02:01
created
Return $record in case of no exception.

feature/user-friendly-error-pages . f12e9b...6e334a . push triggered

  Data is cleaned up.
03:35
created
User friendly error pages, ART display, ART logging

develop . #3 . pull request triggered

  Data is cleaned up.
01:36
created
Expect exceptions to have a getMessage method.

feature/user-friendly-error-pages . 82a68c...f12e9b . push triggered

  Data is cleaned up.
03:06
created
User friendly error pages, ART display, ART logging

develop . #3 . pull request triggered

  Data is cleaned up.
03:00
created
Differentiate between exceptions of different types.

feature/user-friendly-error-pages . d7ea45...82a68c . push triggered

  Data is cleaned up.
01:37
created
Differentiate between exceptions of different types.

feature/user-friendly-error-pages . ce5de5...d7ea45 . push triggered

  Data is cleaned up.
01:24
created
Add ART log processor.

feature/user-friendly-error-pages . e504c9...ce5de5 . push triggered

  Data is cleaned up.
01:31
created
Add user-friendly error pages.

feature/user-friendly-error-pages . 40a2c7...e504c9 . push triggered

  Data is cleaned up.
01:28
created
Add user-friendly error pages.

feature/user-friendly-error-pages . 40a2c7 . push triggered

  Data is cleaned up.
01:23
created
01:48
created
Prevent duplicate form submissions

develop . #2 . pull request triggered

  Data is cleaned up.
02:41
created
Prevent duplicate form submissions.

feature/prevent-duplicate-form-submissions . 627234 . push triggered

  Data is cleaned up.
01:47
created
09:47
created
Check whether all PHP files in `src/` have the required license header

maintenance/license-headers . f7a81b . push triggered

  Data is cleaned up.
06:05
created
Place Insight badge.

develop . e18f96...65b119 . push triggered

  Data is cleaned up.
02:12
created