Deployment Script Fix

Deployment Script Fix: a task in repo2rlenv-seta-seed2synth (Harbor dataset). A deployment script /opt/deploy/fetch and extract.sh is supposed to download a source tarball from a local HTTP server and extract it directly into /opt/deploy/workspace/ — without ever writing the .tar.gz file to disk…

The task

A deployment script `/opt/deploy/fetch_and_extract.sh` is supposed to download a source tarball from a local HTTP server and extract it directly into `/opt/deploy/workspace/` — without ever writing the `.tar.gz` file to disk. Currently the script fails to work correctly: the workspace directory ends up empty or…

Part of FineEnvs/repo2rlenv-seta-seed2synth.