CI: fix Docker username

Helps #20

Signed-off-by: Stephen Gutekanst <stephen@sourcegraph.com>

Author: Stephen Gutekanst

.github/workflows/ci.yml

@@ -43,10 +43,10 @@ jobs:
         if: success() && github.ref == 'refs/heads/main' && github.event_Name == 'push' && github.repository == 'sourcegraph/doctree'
         run: |
           brew install docker
-          echo "${DOCKER_PASSWORD}" | docker login -u="${DOCKER_USENAME}" --password-stdin
+          echo "$DOCKER_PASSWORD" | docker login -u="$DOCKER_USERNAME" --password-stdin
           task build-image
-          docker tag "sourcegraph/doctree:dev" "sourcegraph/doctree:${RELEASE_COMMIT}"
-          docker push "sourcegraph/doctree:${RELEASE_COMMIT}"
+          docker tag "sourcegraph/doctree:dev" "sourcegraph/doctree:$RELEASE_COMMIT"
+          docker push "sourcegraph/doctree:$RELEASE_COMMIT"
         env:
           RELEASE_COMMIT: ${{steps.recorded_release_version.outputs.commit}}
           DOCKER_USERNAME: ${{ secrets.DOCKER_USERNAME }}