Skip to content

Conversation

joerick
Copy link
Contributor

@joerick joerick commented May 28, 2025

I noticed this was out-of-date and it often is, so I wrote a script to keep it fresh. It'll run via pre-commit whenever the options.md changes.

@henryiii
Copy link
Contributor

This is a perfect place to use cog, I think. I can try that and add a commit using cog.

Copy link
Contributor

@henryiii henryiii left a comment

Choose a reason for hiding this comment

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

Nevermind, I'll try cog as a followup with all the readme injections.

@henryiii henryiii merged commit 7e09986 into main May 28, 2025
27 checks passed
@henryiii henryiii deleted the readme-options-table branch May 28, 2025 19:38
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