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 ( 841b7d...3ed1d3 )
by
unknown
13:44 queued 04:45
created

Repository Config

filter:
    excluded_paths:
        - 'tests/*'
        - 'libs/jquery.qtip.js'
checks:
    php:
        use_self_instead_of_fqcn: true
        uppercase_constants: true
        remove_extra_empty_lines: true
        avoid_todo_comments: true
        avoid_fixme_comments: true
        avoid_perl_style_comments: true
        avoid_multiple_statements_on_same_line: true
        encourage_single_quotes: true
        fix_line_ending: true
        newline_at_end_of_file: true
        no_goto: true

coding_style:
    php:
        indentation:
            general:
                use_tabs: true
        spaces:
            around_operators:
                concatenation: true
            within:
                brackets: true
                array_initializer: true
                grouping: true
                function_call: true
                function_declaration: true
                if: true
                for: true
                while: true
                switch: true
                catch: true
        upper_lower_casing:
            keywords:
                general: lower
            constants:
                true_false_null: lower

tools:
    php_sim: true
    php_pdepend: true
    php_analyzer: true
    external_code_coverage:
        timeout: 1800    # Timeout in seconds.
    js_hint: true
    php_mess_detector: true
    sensiolabs_security_checker: true