Update from code changes: document GitHub.Repo component - #18
Open
mintlify[bot] wants to merge 1 commit into
Open
Update from code changes: document GitHub.Repo component#18mintlify[bot] wants to merge 1 commit into
mintlify[bot] wants to merge 1 commit into
Mintlify / Mintlify Deployment
succeeded
Sep 1, 2026 in 56s
Deployment Succeeded
Preview successfully created for product-guide-starter at https://product-guide-starter-mintlify-e6fe80ea.mintlify.site
Details
Fetching and validating config file...
Successfully validated docs.json
Fetching .mintignore file...
Successfully fetched .mintignore
Fetched all file paths
Fetched 0 OpenApi file(s)
Fetched 0 AsyncApi file(s)
Skipped OpenAPI navigation generation
Skipped AsyncAPI navigation generation
No SDK reference pages configured
No GraphQL reference pages configured
No GraphQL deployment changes required
Persisted 0 generated API page(s)
No GraphQL deployment changes required
Successfully updated API reference metadata.
Updating all paths...
Successfully updated deployment
Successfully saved config
Updating navigation...
Navigation updated
Skipped search indexing (preview indexing paused)
Loading