Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

--local option missing from config command description in docs. #5623

Closed
1 task done
Secrus opened this issue May 17, 2022 · 1 comment · Fixed by #5629
Closed
1 task done

--local option missing from config command description in docs. #5623

Secrus opened this issue May 17, 2022 · 1 comment · Fixed by #5629
Labels
area/docs Documentation issues/improvements

Comments

@Secrus
Copy link
Member

Secrus commented May 17, 2022

  • I have searched the issues of this repo and believe that this is not a duplicate.

Issue

Config command docs entry is missing --local option listed. It is only mentioned in Configuration page.
@Secrus Secrus added area/docs Documentation issues/improvements Good First Issue labels May 17, 2022
@tal66 tal66 mentioned this issue May 17, 2022
Merged
@abn abn closed this as completed in #5629 May 17, 2022
@abn abn mentioned this issue Jun 6, 2022
Merged
@github-actions GitHub Actions
Copy link

github-actions bot commented Mar 2, 2024

This issue has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Mar 2, 2024
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Assignees
No one assigned
Labels
area/docs Documentation issues/improvements
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

docs: add --local option in config
1 participant
@Secrus