From b2d13ee63ae68b3fbef10363f854b34c4c4fe5d7 Mon Sep 17 00:00:00 2001
From: "Bobby R. Bruce" <bbruce@ucdavis.edu>
Date: Thu, 8 Feb 2024 12:13:12 -0800
Subject: [PATCH] util: Remove action runner add-apt-repo git-core/ppa (#856)

We were having some difficulty on a server running this
`apt-apt-repository` command due to suspected firewall issues. On
further inspection is appear to be superfluous as git can be obtained
easily through `apt-get` without adding this repository.
---
 util/github-runners-vagrant/provision_root.sh | 1 -
 1 file changed, 1 deletion(-)

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 \