diff options
Diffstat (limited to '.devcontainer')
| -rw-r--r-- | .devcontainer/codespace.config.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.devcontainer/codespace.config.php b/.devcontainer/codespace.config.php index 2cf435582ed..2818a760edb 100644 --- a/.devcontainer/codespace.config.php +++ b/.devcontainer/codespace.config.php @@ -14,4 +14,5 @@ $CONFIG = [ if($cloudEnvironmentId !== true) { $CONFIG['overwritehost'] = $cloudEnvironmentId . '-80.apps.codespaces.githubusercontent.com'; + $CONFIG['overwriteprotocol'] = 'https'; } |