message: Avoid extension upload in PRs
diff: @@ -117,6 +117,8 @@ jobs:
  - name: Deploy
  run: |
  + if [[ "$GITHUB_REF" =~ ^(refs/heads/master|refs/tags/v.+)$ ]] ; then
  pip install --user awscli
  ./scripts/extension-upload.sh osx-amd64
  + fi
  