Merge pull request 'Change infrastructure details' (#2) from codex/fix-bootstrap-apt-dpkg-sig into master

Reviewed-on: #2

scripts/ci/bootstrap-apt.sh

@@ -4,8 +4,8 @@ set -euo pipefail
 
 export DEBIAN_FRONTEND=noninteractive
 
+printf 'Acquire::http::Proxy "http://cbrapt01.lan.cyber.gent:3142";";\n' >/etc/apt/apt.conf.d/80proxy
 apt-get update
-printf 'Acquire::http::Proxy "http://10.64.44.6:3142";\n' >/etc/apt/apt.conf.d/80proxy
 apt-get upgrade -y
 apt-get install -y --no-install-recommends build-essential
 apt-get install -y --no-install-recommends software-properties-common