Skip to content

Conversation

@lavin-ds
Copy link
Contributor

This PR adds documentation describing how to use CircleCI to keep your vcs git repo in sync with your Hugging Face space.

keep your vcs git repo in sync with your Hugging Face space
@lavin-ds
Copy link
Contributor Author

cc @davanstrien, @osanseviero since I am unable to request for reviews directly from maintianers

@lavin-ds
Copy link
Contributor Author

@julien-c and @davanstrien I have addressed both of your comments. Let me know if we need more changes 👍🏽

Copy link
Member

@julien-c julien-c left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm, where should this be linked from?

@lavin-ds
Copy link
Contributor Author

@julien-c thanks for pointing that out. I hadn't added a link under the section to link this to. I have now updated it 👍🏽

@julien-c julien-c requested a review from osanseviero November 22, 2023 13:50
@HuggingFaceDocBuilderDev
Copy link

HuggingFaceDocBuilderDev commented Nov 22, 2023

The documentation is not available anymore as the PR was closed or merged.

Copy link
Contributor

@osanseviero osanseviero left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Very cool 🔥

@lavin-ds
Copy link
Contributor Author

@osanseviero I have updated the PR if you could take another look 🙏🏽

@lavin-ds
Copy link
Contributor Author

Thanks @julien-c, @davanstrien and @osanseviero for your reviews and approving the PR 👍🏽 I don't have merge access to the repo so will have to defer to one of you folks to merge it in 🙏🏽

Copy link
Contributor

@osanseviero osanseviero left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@osanseviero osanseviero merged commit 68f3c6e into huggingface:main Nov 23, 2023
@osanseviero
Copy link
Contributor

This is now in production 🔥
https://huggingface.co/docs/hub/spaces-circleci

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants