From 8588e928e748a07c6d67ba3bde22ce3baf3a36c5 Mon Sep 17 00:00:00 2001
From: Simon Sapin <simon.sapin@exyr.org>
Date: Sat, 8 Dec 2018 02:31:19 +0100
Subject: [PATCH] Remove Buildbot script for docs upload

---
 etc/ci/upload_docs.sh | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100755 etc/ci/upload_docs.sh

diff --git a/etc/ci/upload_docs.sh b/etc/ci/upload_docs.sh
deleted file mode 100755
index 4c49c67b1b5..00000000000
--- a/etc/ci/upload_docs.sh
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/usr/bin/env bash
-
-# This Source Code Form is subject to the terms of the Mozilla Public
-# License, v. 2.0. If a copy of the MPL was not distributed with this
-# file, You can obtain one at https://mozilla.org/MPL/2.0/.
-
-# Helper script to upload docs to doc.servo.org.
-# Requires ghp-import (from pip)
-# GitHub API token must be passed in environment var TOKEN
-
-set -o errexit
-set -o nounset
-set -o pipefail
-
-cd "$(dirname ${0})/../.."
-
-# Clean up any traces of previous doc builds.
-./etc/ci/clean_build_artifacts.sh
-
-env CC=gcc-5 CXX=g++-5 ./mach doc
-
-echo "Starting ghp-import."
-ghp-import -n target/doc
-echo "Finished ghp-import."
-git push -qf \
-    "https://${TOKEN}@github.com/servo/doc.servo.org.git" gh-pages \
-    &>/dev/null
-echo "Finished git push."
-
-# Clean up the traces of the current doc build.
-./etc/ci/clean_build_artifacts.sh