Skip to content

fix: correct glob for file extensions#168

Merged
pravindahal merged 1 commit intomainfrom
pravindahal/fix/correct-glob-for-file-extensions
Jul 10, 2025
Merged

fix: correct glob for file extensions#168
pravindahal merged 1 commit intomainfrom
pravindahal/fix/correct-glob-for-file-extensions

Conversation

@pravindahal
Copy link
Copy Markdown
Contributor

@pravindahal pravindahal commented Jul 10, 2025

@pravindahal pravindahal requested a review from a team as a code owner July 10, 2025 11:26
@pravindahal pravindahal enabled auto-merge (squash) July 10, 2025 11:27
Copy link
Copy Markdown
Contributor

@bendiknesbo bendiknesbo left a comment

Choose a reason for hiding this comment

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

Is there any reason to not just glob everything in the inputs.docs_dir?

@pravindahal pravindahal merged commit 0d3db73 into main Jul 10, 2025
14 checks passed
@pravindahal pravindahal deleted the pravindahal/fix/correct-glob-for-file-extensions branch July 10, 2025 11:28
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