Skip to content

Conversation

@frankieyan
Copy link
Member

@frankieyan frankieyan commented Jan 20, 2026

  • Remove docs/ from .gitignore to allow documentation syncing from Doist/shared-configs

Copy link

@doist-bot doist-bot bot left a comment

Choose a reason for hiding this comment

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

The change to remove docs/ from .gitignore correctly aligns with the stated objective of enabling documentation syncing. No issues found.

@frankieyan frankieyan changed the title Remove docs folder from .gitignore chore: Remove docs folder from .gitignore Jan 20, 2026
@frankieyan frankieyan added the 👀 Show PR Used for PRs that need a review, but can be merged when CI is green. label Jan 20, 2026
@frankieyan frankieyan requested review from a team and pedroalves0 and removed request for a team January 20, 2026 03:01
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
@frankieyan frankieyan force-pushed the frankieyan/remove-docs-gitignore branch from 28eee20 to 785a7aa Compare January 20, 2026 03:02
@frankieyan frankieyan merged commit be17eec into main Jan 20, 2026
6 checks passed
@frankieyan frankieyan deleted the frankieyan/remove-docs-gitignore branch January 20, 2026 03:10
Copy link
Member

@pedroalves0 pedroalves0 left a comment

Choose a reason for hiding this comment

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

👀 Show PR Used for PRs that need a review, but can be merged when CI is green.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants