diff --git a/util/github-runners-vagrant/provision_root.sh b/util/github-runners-vagrant/provision_root.sh index d3e6bb574c..dda1950690 100644 --- a/util/github-runners-vagrant/provision_root.sh +++ b/util/github-runners-vagrant/provision_root.sh @@ -31,7 +31,6 @@ set -eu -o pipefail # -x: is for debugging apt-get update apt-get upgrade -y -add-apt-repository --yes --update ppa:git-core/ppa apt-get install -y \ software-properties-common \ bash \