[webkit-changes] [WebKit/WebKit] c0c795: webkitbot fails to run due to Autoinstall issues

[Ling Ho]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: c0c7953c13f3ba6d0b9e4a365ffd55c6cb4e125f
      https://github.com/WebKit/WebKit/commit/c0c7953c13f3ba6d0b9e4a365ffd55c6cb4e125f
  Author: Ling Ho <lingho at apple.com>
  Date:   2023-10-04 (Wed, 04 Oct 2023)

  Changed paths:
    M Tools/WebKitBot/src/WebKitBot.mjs
    M Tools/WebKitBot/src/index.mjs

  Log Message:
  -----------
  webkitbot fails to run due to Autoinstall issues
https://bugs.webkit.org/show_bug.cgi?id=262560
rdar://116135662 (webkitbot intermittently failing due to networking issues(?))

Reviewed by Alexey Proskuryakov.

Populate PROXY environment variables to webkit-patch to allow download of
PIP packages by Autoinstall, and launch webkit-patch by explicitly calling
python3 so sys.executable get populated in Autoinstall.
Updated HttpsProxyAgent statement to fix "httpsProxyAgent is not a constructor" error.

* Tools/WebKitBot/src/WebKitBot.mjs:

Canonical link: https://commits.webkit.org/268855@main