Revert "Arthur: fix run_github_autoreply.sh"
This reverts commit 9933922f8de3db13365c83498949e7a8565bbfd4.
Reason for revert: fix the error in other way
Change-Id: I1c2da26090fcbeb2e6f3843339d5ac3e7e4d4dc5
diff --git a/ci/run_github_autoreply.sh b/ci/run_github_autoreply.sh
index 1171c77..dc94c76 100755
--- a/ci/run_github_autoreply.sh
+++ b/ci/run_github_autoreply.sh
@@ -5,7 +5,12 @@
# SPDX-License-Identifier: BSD-3-Clause
#
-yes | pip3 install pygithub
+# Install PyGitHub if needed
+python3 -c "import github"
+if [ $? != 0 ]
+then
+ yes | pip3 install pygithub
+fi
# Run bot
if [ -z "${github_issue_num}" -a -z "${github_pr_num}" ]; then