Skip to content

Notify PR authors about repository migration - #6611

Merged
dhtclk merged 1 commit into
mainfrom
codex/notify-docs-pr-author
Aug 3, 2026
Merged

Notify PR authors about repository migration#6611
dhtclk merged 1 commit into
mainfrom
codex/notify-docs-pr-author

Conversation

@dhtclk

@dhtclk dhtclk commented Aug 3, 2026

Copy link
Copy Markdown
Collaborator

Summary

Mention the pull request author in the automated repository migration notice so GitHub sends an explicit mention notification and the notice is harder to overlook.

This follows the existing automated author-mention pattern in the trademark license agreement workflow.

Related: #6603

Checklist

  • Delete items not relevant to your PR

@vercel

vercel Bot commented Aug 3, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
clickhouse-docs Building Building Preview Aug 3, 2026 3:24pm
clickhouse-docs-jp Building Building Preview Aug 3, 2026 3:24pm
3 Skipped Deployments
Project Deployment Actions Updated (UTC)
clickhouse-docs-ko Ignored Ignored Preview Aug 3, 2026 3:24pm
clickhouse-docs-ru Ignored Ignored Preview Aug 3, 2026 3:24pm
clickhouse-docs-zh Ignored Ignored Preview Aug 3, 2026 3:24pm

Request Review

@github-actions

github-actions Bot commented Aug 3, 2026

Copy link
Copy Markdown

Thanks for contributing to the ClickHouse documentation!

We’ve moved documentation development to the main ClickHouse/ClickHouse repository. For future documentation changes, please open your pull request there, with changes under the docs/ directory.

We’ll continue reviewing this pull request here during the transition, and it will be transferred as part of the migration. You don’t need to reopen it.

See the documentation README for more information.

@dhtclk
dhtclk marked this pull request as ready for review August 3, 2026 15:26
@dhtclk
dhtclk requested a review from a team as a code owner August 3, 2026 15:26
@dhtclk
dhtclk merged commit 8903628 into main Aug 3, 2026
14 of 16 checks passed
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.

1 participant