Skip to content

Comment out unused docs GitHub workflow#146

Merged
jeroenrinzema merged 3 commits intomainfrom
copilot/comment-out-blog-workflow
Feb 5, 2026
Merged

Comment out unused docs GitHub workflow#146
jeroenrinzema merged 3 commits intomainfrom
copilot/comment-out-blog-workflow

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Feb 5, 2026

The docs workflow is unused at the moment. Commented out the entire GitHub workflow to prevent it from running on pushes to main.

Changes:

  • Commented out .github/workflows/docs.yml workflow file
  • Added header comment explaining the workflow is disabled

The workflow can be easily re-enabled in the future by removing the comment markers.


💡 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: jeroenrinzema <3440116+jeroenrinzema@users.noreply.github.com>
Copilot AI changed the title [WIP] Comment out unused blog workflow Disable unused blog plugin in Docusaurus Feb 5, 2026
Copilot AI requested a review from jeroenrinzema February 5, 2026 22:40
@jeroenrinzema
Copy link
Copy Markdown
Contributor

@copilot no I meant to disable the Github workflow

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

Copilot AI commented Feb 5, 2026

@copilot no I meant to disable the Github workflow

Understood! I've commented out the GitHub docs workflow in commit 2e94115. The workflow file .github/workflows/docs.yml is now fully commented out and won't run.

Copilot AI changed the title Disable unused blog plugin in Docusaurus Comment out unused docs GitHub workflow Feb 5, 2026
@jeroenrinzema jeroenrinzema marked this pull request as ready for review February 5, 2026 22:48
@jeroenrinzema jeroenrinzema merged commit fd0b5dc into main Feb 5, 2026
@jeroenrinzema jeroenrinzema deleted the copilot/comment-out-blog-workflow branch February 5, 2026 22:48
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