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 = 5-5 lines in 2 locations

src/functions.php 2 locations

@@ 211-215 (lines=5) @@
208
 */
209
function after($task, $todo)
210
{
211
    if (is_callable($todo)) {
212
        $newTask = task("$task:after", $todo);
213
        after($task, "$task:after");
214
        return $newTask;
215
    }
216
    task($task)->addAfter($todo);
217
}
218
@@ 228-232 (lines=5) @@
225
 */
226
function fail($task, $todo)
227
{
228
    if (is_callable($todo)) {
229
        $newTask = task("$task:fail", $todo);
230
        fail($task, "$task:fail");
231
        return $newTask;
232
    }
233
    $deployer = Deployer::get();
234
    $deployer->fail->set($task, $todo);
235
}