I believe users will be able to run the github action build_docs if they select the option settings/actions/general/Action permissions = Allow all actions and reusable workflows
Select the Actions tab and select that they understand and enable workflows

And then commit at least once in the /.github/workflows folder. Perhaps we should have a contributors.txt file there and have people add their name and commit the change to the repo and do a pull request when they onboard.
I believe users will be able to run the github action build_docs if they select the option settings/actions/general/Action permissions = Allow all actions and reusable workflows
Select the Actions tab and select that they understand and enable workflows
And then commit at least once in the /.github/workflows folder. Perhaps we should have a contributors.txt file there and have people add their name and commit the change to the repo and do a pull request when they onboard.