Merge pull request #138 from mattpolzin/fix-empty-contribute-list

Fix contribute output for empty results
mattpolzin · Jul 5, 2024 · 77f2aac · 77f2aac
2 parents 3963290 + 6c2d5a7
commit 77f2aac
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`.