fix output when harmony has no PRs to list for contribute command

mattpolzin · Jul 5, 2024 · 6c2d5a7 · 6c2d5a7
1 parent cf28f1d
commit 6c2d5a7
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/src/Commands.idr b/src/Commands.idr
@@ -372,9 +372,10 @@ contribute @{config} args = do
     listSome : Nat -> List PullRequest -> List PullRequest -> Promise' ()
     listSome skip requestedOfMe others = do
       goListSome True (drop skip requestedOfMe)
-      putStrLn ""
-      renderIO $ annotate bold "Your review not requested:"
-      goListSome False (take 5 others)
+      when (not $ null others) $ do
+        putStrLn ""
+        renderIO $ annotate bold "Your review not requested:"
+        goListSome False (take 5 others)
 
 ||| Print the GitHub URI for the current branch when the user
 ||| executes `harmony branch`.