Skip to content

Commit

Permalink
Update register_repos.md (#1550)
Browse files Browse the repository at this point in the history
Minor error in documentation;  CLI uses format "owner/repo", not "owner:repo"
  • Loading branch information
craigmcl authored Nov 7, 2023
1 parent 6f14693 commit f545a96
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/docs/getting_started/register_repos.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down Expand Up @@ -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.

0 comments on commit f545a96

Please sign in to comment.