Remove pygithub installation from CircleCI

Using acemod/armake, it is already installed.
This commit is contained in:
jonpas 2019-05-14 12:27:11 +02:00 committed by GitHub
parent c6609cbdb9
commit dd679e2975
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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..."