From 55c10e7bb78a47557969b616bb6af8fc84f070fa Mon Sep 17 00:00:00 2001
From: Sean Dague <sean@dague.net>
Date: Tue, 23 Oct 2018 06:53:11 -0400
Subject: [PATCH] don't add a ppa for git

Git has been part of base Ubuntu since at least 16.04 if not well
before that. There is no reason to add a ppa to get git on the system,
and ppa repositories can impact upgrade.
---
 linux-installer/idt-installer | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/linux-installer/idt-installer b/linux-installer/idt-installer
index 68799ed..c091399 100755
--- a/linux-installer/idt-installer
+++ b/linux-installer/idt-installer
@@ -217,10 +217,6 @@ function install_deps {
     if [[ -z "$(which apt-get)" ]]; then
       error "'apt-get' is not found.  Thats the only linux installer I know, sorry."
     fi
-    if [[ -z "$(which add-apt-repository)" ]]; then
-      $SUDO apt-get install -y software-properties-common python-software-properties
-    fi
-    $SUDO add-apt-repository -y ppa:git-core/ppa
     $SUDO apt-get -y update
 
     #-- CURL: