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 ( 6d2c40...e95318 )
by Gilles
01:20
created

Repository Config

tools:
    external_code_coverage: false

Global Config

filter:
    excluded_paths:
        - 'tests/*'
checks:
    php:
        use_self_instead_of_fqcn: true
        uppercase_constants: true
        simplify_boolean_return: true
        return_doc_comments: true
        remove_extra_empty_lines: true
        parameter_doc_comments: true
        param_doc_comment_if_not_inferrable: true
        return_doc_comment_if_not_inferrable: true
        optional_parameters_at_the_end: true
        overriding_parameter: true
        newline_at_end_of_file: true
        encourage_single_quotes: true
        excluded_dependencies:
            - atoum/atoum
        fix_doc_comments: false

coding_style:
    php:
        spaces:
            before_parentheses:
                if: false
                for: false
                while: false
                switch: false
                catch: false

tools:
    external_code_coverage: true