https://sh.edgedb.com does not install the latest version

[extsoft]

I use EdgeDB CLI in a Docker container and start seeing Newer version of edgedb tool exists 3.4.0+160d07d (current 3.3.0+071876c). To upgrade run edgedb cli upgrade`. After going through the instructions on https://www.edgedb.com/docs/intro/quickstart, I realized that https://sh.edgedb.com still installs the old version.

• EdgeDB Version: not relevant
• EdgeDB CLI Version: try to install the latest
• OS Version: Debian

Steps to Reproduce:

~ docker run -it --rm python:3.9 sh -c "curl --proto '=https' --tlsv1.2 -sSf https://sh.edgedb.com | sh -s - -y"
info: downloading installer
[2023-08-08T16:25:28Z WARN  edgedb::version_check] Newer version of edgedb tool exists 3.4.0+160d07d (current 3.3.0+071876c)

Welcome to EdgeDB!

This will install the official EdgeDB command-line tools.
......

[elprans]

Seems like the S3 bucket redirect wasn't updated correctly when the latest release was made. Fixed now. Keeping this open for cause investigation and moving to edgedb-pkg.