From cca2ec476514b759c1b315ce8b6fad77e80289f0 Mon Sep 17 00:00:00 2001
From: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>
Date: Sat, 7 Sep 2024 19:25:27 +0200
Subject: [PATCH] CI: mute output from Python script (#13603)

CI: mute output from Python-script
---
 scripts/check-pr.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/check-pr.sh b/scripts/check-pr.sh
index a020591828..08cb7769c9 100755
--- a/scripts/check-pr.sh
+++ b/scripts/check-pr.sh
@@ -114,7 +114,7 @@ function check_outdated_page() {
 function check_more_info_link() {
   local page=$1
 
-  python3 scripts/set-more-info-link.py -Sn | grep "$page"
+  python3 scripts/set-more-info-link.py -Sn | grep "$page" > /dev/null
 
   if [ $? -eq 0 ]; then
       printf "\x2d $MSG_MORE_INFO" "$page"