New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[doc build] Use secrets #139

Merged

xenova merged 1 commit into huggingface:main from mishig25:docbuild-secrets

Jun 9, 2023

Contributor

mishig25 commented Jun 7, 2023 •

edited

Loading

Companion pr to huggingface/doc-builder#379
Please feel free to merge it yourself

ask @LysandreJik for tokens: HF_DOC_BUILD_PUSH, COMMENT_BOT_TOKEN to add them as this repository secrets


          [doc build] Use secrets

d66eb55

Collaborator

xenova commented Jun 7, 2023

Thanks!

xenova merged commit f5f78c4 into huggingface:main

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet