You are working on the Pylons/pyramid openapi3 repository. The source code is checked out at /testbed at…

You are working on the Pylons/pyramid openapi3 repository. The source code is checked out at /testbed at…: a task in SWE-Lego-RL-2699 (Harbor dataset). The API explorer UI opens up fine when we request https://example.com/api/ . but the URL for spec file we get in the top most text box is…

The task

The API explorer UI opens up fine when we request `https://example.com/api/`. but the URL for spec file we get in the top most text box is `http://example.com/api/openapi.yaml` (note `http` instead of `https`).

Part of Lego-X/Lego-RL-2699.