devtools: use an auto-generated name for ci
There's no reason to use a hard-coded name when running postgres in the
CI script (and in fact, that's why we're storing the resulting container
name in a variable).
@@ -36,7 +36,7 @@ script_dir=$(dirname "$(readlink -f "$0")")
pkgsite_dir=$(readlink -f "${script_dir}/..")
# Run postgres.
-pg_container=$(${maybe_sudo}docker run --rm -d --name pg_pkgsite_ci -e LANG=C postgres:11.4)
+pg_container=$(${maybe_sudo}docker run --rm -d -e LANG=C postgres:11.4)
trap "${maybe_sudo} docker stop ${pg_container}" EXIT
# Run all.bash. To avoid any port conflict, run in the postgres network.
