circleci: Fix deploy website

* ensuring script is available checking out sources
* fix logic checking for the number of arguments
* fix "Repository not found" switching username and reponame

.circleci/config.yml

@@ -96,6 +96,7 @@ jobs:
     docker:
       - image: circleci/python:3.7.0-stretch
     steps:
+      - checkout
       - attach_workspace:
           at: ./
       - run:
@@ -106,7 +107,8 @@ jobs:
           name: Deploy website
           command: |
             source_sha=$(cat doc/_build/html/.buildinfo | grep sha | cut -d: -f2)
-            doc/deploy-website.sh $CIRCLE_PROJECT_REPONAME/$CIRCLE_PROJECT_USERNAME $source_sha --html-dir doc/_build/html
+            repo_slug=$CIRCLE_PROJECT_USERNAME/$CIRCLE_PROJECT_REPONAME
+            doc/deploy-website.sh $repo_slug $source_sha --html-dir doc/_build/html
 
   deploy-release:
     docker:

doc/deploy-website.sh

@@ -48,10 +48,11 @@ ENDHELP
 #-------------------------------------------------------------------------------
 if [[ -z $GITHUB_TOKEN ]]; then
   err "skipping because GITHUB_TOKEN env. variable is not set"
-  exit 0
+  help
+  exit 1
 fi
 
-if [[ $# != 2 ]]; then
+if [[ $# -lt 2 ]]; then
   err "Missing org/name and source_sha parameters"
   help
   exit 1