Skip to content

add get repo command#661

Merged
sami-alajrami merged 11 commits intomainfrom
get-repo
Feb 27, 2026
Merged

add get repo command#661
sami-alajrami merged 11 commits intomainfrom
get-repo

Conversation

@sami-alajrami
Copy link
Contributor

also update list repos to add provider and repo-id filters.

related to kosli-dev/server#4547

@sami-alajrami sami-alajrami enabled auto-merge (squash) February 20, 2026 12:20
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds repo-focused CLI functionality by introducing a new kosli get repo command and extending kosli list repos with additional filtering options, aligning with server changes referenced in kosli-dev/server#4547.

Changes:

  • Add get repo subcommand with optional --provider and --repo-id filters.
  • Extend list repos to support --name, --provider, and --repo-id filters and include PROVIDER in table output.
  • Bump indirect dependency github.com/cloudflare/circl and adjust retry comment / Dockerfile stage syntax.

Reviewed changes

Copilot reviewed 8 out of 9 changed files in this pull request and generated 2 comments.

Show a summary per file
File Description
internal/requests/requests.go Updates retry-policy comment related to 409 retry handling.
go.mod Bumps indirect dependency github.com/cloudflare/circl to v1.6.3.
go.sum Updates checksums for github.com/cloudflare/circl v1.6.3.
cmd/kosli/listRepos.go Adds query-parameter filters and prints provider column in table output.
cmd/kosli/listRepos_test.go Updates fixtures/regex and adds coverage for new list filters.
cmd/kosli/getRepo.go Introduces new get repo command implementation with provider/repo-id filters.
cmd/kosli/getRepo_test.go Adds tests for get repo behavior and filtering.
cmd/kosli/get.go Registers get repo under the get command group.
Dockerfile Normalizes multi-stage alias keyword casing (AS builder).

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@sami-alajrami sami-alajrami merged commit 5a0f3c0 into main Feb 27, 2026
10 checks passed
@sami-alajrami sami-alajrami deleted the get-repo branch February 27, 2026 09:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants