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

applications/workspace/src/BitPrepared/Bundle/D1b0Workspace/Controller/V1/WorkspaceController.php 2 locations

@@ 437-442 (lines=6) @@
434
                array_splice($delete_badge,$rem_id,1); //RIMUOVO GLI ELEMENTI CHE HO MODIFICATO
435
        }
436
437
        foreach($delete_badge as $d){
438
            //RIMUOVO REALMENTE DAL DB LE COSE CHE HO LASCIATO FUORI DALLA PUT (PRESENTI NEL DB MA NON NELLA NUOVA VERSIONE ODIO LE PUT)
439
            $badge = R::load("partbadge",$d['id']);//FORSE RILOADARLI NON È NECESSARIO
440
            $badge->deleted=true;
441
            R::store($badge);
442
        }
443
444
        $res = ["id"=>$part_id];
445
        $headers = [];
@@ 457-462 (lines=6) @@
454
455
456
        $delete_badge=R::findAll("partbadge","WHERE part = ?",[$part_id]);
457
        foreach($delete_badge as $d){
458
            $badge = R::load("partbadge",[$d->id]);//FORSE RILOADARLI NON È NECESSARIO BASTA FARE $d->deleted=true; e store($d)
459
                $badge->deleted=true;
460
            R::store($badge);
461
        }
462
463
        //TODO soft delete resource!
464
465
        $response = new Response();