From 88b434a6c61979e1deb4010ce6669b1a4116240a Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 1 Oct 2018 19:26:49 +0200
Subject: [ci] [travis] Remove CI contrib testing from Travis.

This was kept as a fallback for some time, not worth keeping it
anymore as our GitLab setup seems mature and reliable enough.
---
 dev/tools/sudo-apt-get-update.sh | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100755 dev/tools/sudo-apt-get-update.sh

(limited to 'dev/tools')

diff --git a/dev/tools/sudo-apt-get-update.sh b/dev/tools/sudo-apt-get-update.sh
deleted file mode 100755
index f8bf6bed41..0000000000
--- a/dev/tools/sudo-apt-get-update.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/usr/bin/env bash
-
-(sudo apt-get update "$@" 2>&1 || echo 'E: update failed') | tee /tmp/apt.err
-! grep -q '^\(E:\|W: Failed to fetch\)' /tmp/apt.err || exit $?
-- 
cgit v1.2.3