From f545a96a4f719010c5a2ceed828e8cbc7f6670d4 Mon Sep 17 00:00:00 2001 From: Craig McLuckie Date: Mon, 6 Nov 2023 16:18:06 -0800 Subject: [PATCH] Update register_repos.md (#1550) Minor error in documentation; CLI uses format "owner/repo", not "owner:repo" --- docs/docs/getting_started/register_repos.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/docs/getting_started/register_repos.md b/docs/docs/getting_started/register_repos.md index e1e7a52c74..49e2956a1c 100644 --- a/docs/docs/getting_started/register_repos.md +++ b/docs/docs/getting_started/register_repos.md @@ -14,7 +14,7 @@ minder repo register --provider github You can also register a repository (or set of repositories) by name: ```bash -minder repo register --provider github --repo "owner:repo1,owner:repo2" +minder repo register --provider github --repo "owner/repo1,owner/repo2" ``` A webhook will now be created in each repository that you've selected for registering with Minder. @@ -43,7 +43,7 @@ minder repo get --provider github -r {$repo_id} If you want to stop monitoring a repository, you can delete it from Minder by using the `repo delete` command: ```bash -minder repo delete --provider github --name "owner:repo1" +minder repo delete --provider github --name "owner/repo1" ``` This will delete the repository from Minder and remove the webhook from the repository.