diff --git a/src/Commands.idr b/src/Commands.idr index 7f09bda..e9e269f 100644 --- 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`.