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.

Sign up for GitHub

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

Jump to bottom

Auto-generated cli documentation update - 2023-09-05 16:39:02 #855

Merged

jhrozek merged 1 commit into main from create-pull-request/patch-1693921311

Sep 5, 2023

Contributor

github-actions bot commented Sep 5, 2023

** Source commit **

Commit SHA: 823279bad9c42bf5406a345943c6c5259d11160a
Date: 2023-09-05 16:39:02
Author: Juan Antonio Osorio


          Update documentation

ae9a457

github-actions bot added automated pr docs labels

jhrozek approved these changes

View reviewed changes

Contributor

jhrozek left a comment

we should probably sort the CSV so to not get these half-spurious PRs...

jhrozek merged commit 3bad454 into main

jhrozek deleted the create-pull-request/patch-1693921311 branch

September 5, 2023 13:56

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

Labels

automated pr docs