Make the Github build work again

[bertfrees]

The build currently fails because for some reason yarn dist tries to authorize to the Github API which results into this error:

GitHub Personal Access Token is not set, neither programmatically, nor using env "GH_TOKEN"

See e.g. https://github.com/daisy/pipeline-ui/actions/runs/4424934667/jobs/7759361961#step:11:10570.

I wonder whether this can be disabled.

[bertfrees]

Was fixed by commit a9e0734 by adding this:

env:
  GH_TOKEN: ${{ secrets.GH_PIPELINE_TOKEN }}

@marisademeglio Perhaps we can add a little comment explaining that we don't really understand why, but that it was added to avoid that error message?