Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Hook for updating/mirroring repo files in documentation #40

Open
CasperWA opened this issue Jul 22, 2022 · 0 comments
Open

Hook for updating/mirroring repo files in documentation #40

CasperWA opened this issue Jul 22, 2022 · 0 comments
Labels
enhancement New feature or request pre-commit hooks Issue/PR related to pre-commit hooks priority/low Low priority issue/PR

Comments

@CasperWA
Copy link
Collaborator

It would be nice to have a hook that is more general than the docs-landing-page hook.
I.e., a hook where the user can specify repository files that should be copied into the root documentation folder (defaults to docs) or a subfolder therein, with a rename and such. In this way one would only need to manage the file in one place and the documentation would be automatically updated.

@CasperWA CasperWA added enhancement New feature or request pre-commit hooks Issue/PR related to pre-commit hooks labels Jul 22, 2022
@CasperWA CasperWA added the priority/low Low priority issue/PR label Aug 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request pre-commit hooks Issue/PR related to pre-commit hooks priority/low Low priority issue/PR
Projects
None yet
Development

No branches or pull requests

1 participant