use requests library instead of 'curl' and obtain all comments

README.md

@@ -342,6 +342,12 @@ The example file (`app.cfg.example`) includes notes on what you have to adjust t
 
 The section `[github]` contains information for connecting to GitHub:
 
+```ini
+api_timeout = 10
+```
+
+Time limit for requests to GitHub's REST API.
+
 ```ini
 app_id = 123456
 ```

app.cfg.example

@@ -18,6 +18,9 @@
 # Also see documentation at https://github.com/EESSI/eessi-bot-software-layer/blob/main/README.md#step5.5
 
 [github]
+# API timeout, time limit for requests to GitHub's REST API
+api_timeout = 10
+
 # replace '123456' with the ID of your GitHub App; see https://github.com/settings/apps
 app_id = 123456
 

eessi_bot_event_handler.py

@@ -95,6 +95,7 @@
     config.SECTION_EVENT_HANDLER: [
         config.EVENT_HANDLER_SETTING_LOG_PATH],                    # required
     config.SECTION_GITHUB: [
+        config.GITHUB_SETTING_API_TIMEOUT,                         # required
         config.GITHUB_SETTING_APP_ID,                              # required
         config.GITHUB_SETTING_APP_NAME,                            # required
         config.GITHUB_SETTING_INSTALLATION_ID,                     # required

eessi_bot_job_manager.py

@@ -57,6 +57,7 @@
         config.FINISHED_JOB_COMMENTS_SETTING_JOB_RESULT_UNKNOWN_FMT,  # required
         config.FINISHED_JOB_COMMENTS_SETTING_JOB_TEST_UNKNOWN_FMT],   # required
     config.SECTION_GITHUB: [
+        # config.GITHUB_SETTING_API_TIMEOUT,                            # unused
         config.GITHUB_SETTING_APP_ID,                                 # required
         # config.GITHUB_SETTING_APP_NAME,                               # unused
         config.GITHUB_SETTING_INSTALLATION_ID,                        # required