pr: always re-fetch PR for returned work items

Reviewed-by: rwestberg

bots/pr/src/main/java/org/openjdk/skara/bots/pr/CheckWorkItem.java

@@ -188,6 +188,9 @@ public String toString() {
                 throw new UncheckedIOException(e);
             }
         }
-        return List.of(new CommandWorkItem(bot, pr, errorHandler));
+
+        // Must re-fetch PR after executing CheckRun
+        var updatedPR = pr.repository().pullRequest(pr.id());
+        return List.of(new CommandWorkItem(bot, updatedPR, errorHandler));
     }
 }

bots/pr/src/main/java/org/openjdk/skara/bots/pr/CommandWorkItem.java

@@ -216,7 +216,10 @@ private void processCommand(PullRequest pr, CensusInstance censusInstance, Path
         if (nextCommand.isEmpty()) {
             log.info("No new non-external PR commands found, stopping further processing");
             // When all commands are processed, it's time to check labels
-            return List.of(new LabelerWorkItem(bot, pr, errorHandler));
+            // Must re-fetch PR after running the command, the command might have updated the PR
+            var updatedPR = pr.repository().pullRequest(pr.id());
+
+            return List.of(new LabelerWorkItem(bot, updatedPR, errorHandler));
         }
 
         var census = CensusInstance.create(bot.censusRepo(), bot.censusRef(), scratchPath.resolve("census"), pr,