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 ( 1bca6a...c7b116 )
by Stefano
02:33
created
applications/workspace/test/Tests/AbstractAppTest.php 1 patch
Braces   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -56,7 +56,7 @@
 block discarded – undo
56 56
         if ($validator->isValid()) {
57 57
             echo "The supplied JSON validates against the schema.\n";
58 58
             $assert = true;
59
-        }else {
59
+        } else {
60 60
             echo "JSON does not validate. Violations:\n";
61 61
             foreach ($validator->getErrors() as $error) {
62 62
                 echo "[{$error['property']}] {$error['message']}\n";
Please login to merge, or discard this patch.
src/BitPrepared/Bundle/D1b0Workspace/Controller/V1/WorkspaceController.php 1 patch
Braces   +8 added lines, -4 removed lines patch added patch discarded remove patch
@@ -415,8 +415,10 @@  discard block
 block discarded – undo
415 415
                 $resource->totalpoint = 0;
416 416
             $resource_id = R::store($resource);
417 417
             $rem_id = $this->getPositionInArray($delete_res, $resource_id);
418
-            if ($rem_id != 0)
419
-                array_splice($delete_res, $rem_id, 1); //RIMUOVO GLI ELEMENTI CHE HO MODIFICATO
418
+            if ($rem_id != 0) {
419
+                            array_splice($delete_res, $rem_id, 1);
420
+            }
421
+            //RIMUOVO GLI ELEMENTI CHE HO MODIFICATO
420 422
         }
421 423
 
422 424
         foreach ($delete_res as $d) {
@@ -434,8 +436,10 @@  discard block
 block discarded – undo
434 436
                 $pb->part = $part_id;
435 437
             $tmp = R::store($pb);
436 438
             $rem_id = $this->getPositionInArray($delete_badge, $tmp);
437
-            if ($rem_id != 0)
438
-                array_splice($delete_badge, $rem_id, 1); //RIMUOVO GLI ELEMENTI CHE HO MODIFICATO
439
+            if ($rem_id != 0) {
440
+                            array_splice($delete_badge, $rem_id, 1);
441
+            }
442
+            //RIMUOVO GLI ELEMENTI CHE HO MODIFICATO
439 443
         }
440 444
 
441 445
         foreach ($delete_badge as $d) {
Please login to merge, or discard this patch.