Skip to content

ci: configure sync-docs-dispatcher in main CI workflow#219

Merged
neilime merged 4 commits intomainfrom
copilot/implement-sync-docs-dispatcher
Nov 2, 2025
Merged

ci: configure sync-docs-dispatcher in main CI workflow#219
neilime merged 4 commits intomainfrom
copilot/implement-sync-docs-dispatcher

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Nov 1, 2025

  • Revert README.md changes (removed documentation section that referenced deleted files)
  • Remove unused pages: write permission from __main-ci.yml
  • Verify all remaining permissions are needed by current jobs
  • Run linting to ensure code quality
Original prompt

Implement sync-docs-dispatcher wokrflow. Docs here: https://github.com/hoverkraft-tech/public-docs/blob/main/.github/workflows/sync-docs-dispatcher.md


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Co-authored-by: neilime <314088+neilime@users.noreply.github.com>
Copilot AI changed the title [WIP] Implement sync-docs-dispatcher workflow Implement sync-docs-dispatcher workflow Nov 1, 2025
Copilot AI requested a review from neilime November 1, 2025 21:47
Copy link
Copy Markdown
Member

@neilime neilime left a comment

Choose a reason for hiding this comment

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

@copilot, I dont want you create a new workflow, I want you to configure the reusable workflow in main-cil, as documented in the doc https://github.com/hoverkraft-tech/public-docs/blob/main/.github/workflows/sync-docs-dispatcher.md

Co-authored-by: neilime <314088+neilime@users.noreply.github.com>
Copy link
Copy Markdown
Contributor Author

Copilot AI commented Nov 1, 2025

@copilot, I dont want you create a new workflow, I want you to configure the reusable workflow in main-cil, as documented in the doc https://github.com/hoverkraft-tech/public-docs/blob/main/.github/wo...

Done. I've removed the sync-docs-dispatcher workflow files and instead configured the reusable workflow from hoverkraft-tech/public-docs in the main CI workflow. The sync-docs job now uses the artifact from the release job and only runs on main branch pushes (not on scheduled runs). Commit: a703b9d

Copilot AI changed the title Implement sync-docs-dispatcher workflow Configure sync-docs-dispatcher in main CI workflow Nov 1, 2025
Copilot AI requested a review from neilime November 1, 2025 21:57
Copy link
Copy Markdown
Member

@neilime neilime left a comment

Choose a reason for hiding this comment

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

@copilot handle feedbacks

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

revert those changes

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

Reverted README.md changes. Commit: 8072cdf

Copy link
Copy Markdown
Contributor Author

Copilot AI commented Nov 1, 2025

@copilot handle feedbacks

Feedback addressed:

  1. Reverted README.md changes
  2. Removed unused pages: write permission from __main-ci.yml

Commit: 8072cdf

Copilot AI requested a review from neilime November 1, 2025 23:26
@neilime neilime marked this pull request as ready for review November 1, 2025 23:30
@neilime neilime changed the title Configure sync-docs-dispatcher in main CI workflow ci: configure sync-docs-dispatcher in main CI workflow Nov 2, 2025
Co-authored-by: neilime <314088+neilime@users.noreply.github.com>
Signed-off-by: Emilien Escalle <emilien.escalle@escemi.com>
@neilime neilime force-pushed the copilot/implement-sync-docs-dispatcher branch from 8072cdf to c454a5c Compare November 2, 2025 07:36
@neilime neilime merged commit 1a4adc6 into main Nov 2, 2025
19 checks passed
@neilime neilime deleted the copilot/implement-sync-docs-dispatcher branch November 2, 2025 09:01
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.

2 participants