Remove pygithub installation from CircleCI (#6999)

Remove pygithub installation from CircleCI
This commit is contained in:
jonpas 2019-05-14 12:38:28 +02:00 committed by GitHub
commit 91afbbdfa8
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..."