From dd679e29759b67a8085e7463876181787626d3f9 Mon Sep 17 00:00:00 2001
From: jonpas <jonpas33@gmail.com>
Date: Tue, 14 May 2019 12:27:11 +0200
Subject: [PATCH] Remove pygithub installation from CircleCI

Using acemod/armake, it is already installed.
---
 circle.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/circle.yml b/circle.yml
index 5cd5f0d72d..496de0f73f 100644
--- a/circle.yml
+++ b/circle.yml
@@ -40,7 +40,6 @@ jobs:
           name: Update documentation and translation statistics
           command:  |
             if [ "${CIRCLE_BRANCH}" == "master" ] && [ "${CIRCLE_PROJECT_USERNAME}" == "acemod" ]; then
-              pip install pygithub pygithub3
               python3 tools/deploy.py
             else
               echo "Skipping, not on acemod/ACE3 master branch..."