Skip to content

Fix detected dubious ownership for docs repo#92452

Merged
Felixoid merged 1 commit intomasterfrom
fix-docs-check
Dec 18, 2025
Merged

Fix detected dubious ownership for docs repo#92452
Felixoid merged 1 commit intomasterfrom
fix-docs-check

Conversation

@Felixoid
Copy link
Copy Markdown
Member

Changelog category (leave one):

  • CI Fix or Improvement (changelog entry is not required)

Changelog entry (a user-readable short description of the changes that goes into CHANGELOG.md):

Add necessary git config for shared repo.

Documentation entry for user-facing changes

  • Documentation is written (mandatory for new features)

@clickhouse-gh
Copy link
Copy Markdown
Contributor

clickhouse-gh Bot commented Dec 17, 2025

Workflow [PR], commit [ec61165]

Summary:

job_name test_name status info comment
Docs check failure
Build docusaurus failure cidb IGNORED

@clickhouse-gh clickhouse-gh Bot added the pr-ci label Dec 17, 2025
@Felixoid Felixoid added this pull request to the merge queue Dec 18, 2025
@Felixoid
Copy link
Copy Markdown
Member Author

The docs themselves are being fixed in #92405

Merged via the queue into master with commit 7ef219a Dec 18, 2025
129 of 131 checks passed
@Felixoid Felixoid deleted the fix-docs-check branch December 18, 2025 09:34
@robot-clickhouse-ci-1 robot-clickhouse-ci-1 added the pr-synced-to-cloud The PR is synced to the cloud repo label Dec 18, 2025
@fm4v fm4v mentioned this pull request Dec 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-ci pr-synced-to-cloud The PR is synced to the cloud repo

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants