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
Push — master ( 58984c...debcc9 )
by
unknown
16:45 queued 06:41
created

Checkout Config

imports:
  - php

filter:
  excluded_paths:
    - test/

tools:
  external_code_coverage: true

Repository Config

filter:
    excluded_paths:
        - 'test/*'
checks:
    php:
        use_self_instead_of_fqcn: true
        uppercase_constants: true
        simplify_boolean_return: true
        remove_extra_empty_lines: true
        properties_in_camelcaps: true
        prefer_while_loop_over_for_loop: true
        phpunit_assertions: true
        parameters_in_camelcaps: true
        parameter_doc_comments: true
        param_doc_comment_if_not_inferrable: true
        optional_parameters_at_the_end: true
        no_short_variable_names:
            minimum: '3'
        no_short_method_names:
            minimum: '3'
        no_long_variable_names:
            maximum: '20'
        no_goto: true
        newline_at_end_of_file: true
        more_specific_types_in_doc_comments: true
        encourage_single_quotes: true
        fix_line_ending: true
        classes_in_camel_caps: true
        avoid_todo_comments: true
        avoid_fixme_comments: true
        avoid_multiple_statements_on_same_line: true

coding_style:
    php:
        spaces:
            before_parentheses:
                closure_definition: true