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.

Code Duplication    Length = 7-7 lines in 2 locations

src/functions.php 2 locations

@@ 285-291 (lines=7) @@
282
283
    if ($server instanceof Local) {
284
        $output = $server->mustRun($command, function ($type, $buffer) use ($serverName) {
285
            if (isDebug()) {
286
                output()->writeln(array_map(function ($line) use ($serverName) {
287
                    return output()->isDecorated()
288
                        ? "[$serverName] \033[1;30m< $line\033[0m"
289
                        : "[$serverName] < $line";
290
                }, explode("\n", rtrim($buffer))), OutputInterface::OUTPUT_RAW);
291
            }
292
        });
293
    } else {
294
        $output = $server->run($command);
@@ 295-301 (lines=7) @@
292
        });
293
    } else {
294
        $output = $server->run($command);
295
        if (isDebug() && !empty($output)) {
296
            output()->writeln(array_map(function ($line) use ($serverName) {
297
                return output()->isDecorated()
298
                    ? "[$serverName] \033[1;30m< $line\033[0m"
299
                    : "[$serverName] < $line";
300
            }, explode("\n", rtrim($output))), OutputInterface::OUTPUT_RAW);
301
        }
302
    }
303
304
    return new Result($output);