Fix the Deployment Config Patch Script

Fix the Deployment Config Patch Script: a task in repo2rlenv-seta-seed2synth (Harbor dataset). A CI helper script at /opt/deploy/patch configs.sh is supposed to update API credentials in JSON scan-profile config files under /opt/deploy/profiles/ . After running the script, each config file should…

The task

A CI helper script at `/opt/deploy/patch_configs.sh` is supposed to update API credentials in JSON scan-profile config files under `/opt/deploy/profiles/`. After running the script, each config file should contain the updated credential values — but instead, each file ends up containing only a tiny fragment of JSON…

Part of FineEnvs/repo2rlenv-seta-seed2synth.