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…