Skip to content
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

cli: add minder repo delete command #875

Closed
rdimitrov opened this issue Sep 6, 2023 · 0 comments · Fixed by #1371
Closed

cli: add minder repo delete command #875

rdimitrov opened this issue Sep 6, 2023 · 0 comments · Fixed by #1371
Assignees
@rdimitrov
Labels
cli enhancement New feature or request good first issue Good for newcomers priority: high High priority size/m

Comments

@rdimitrov
Copy link
Member

Describe the bug

Currently there's no way to de-register/delete a registered repository.

To Reproduce

Expected behavior

Have the ability to delete a registered repository.

Screenshots

Desktop (please complete the following information):

  • OS: [e.g. iOS]
  • Browser [e.g. chrome, safari]
  • Version [e.g. 22]

Smartphone (please complete the following information):

  • Device: [e.g. iPhone6]
  • OS: [e.g. iOS8.1]
  • Browser [e.g. stock browser, safari]
  • Version [e.g. 22]

Additional context
Add any other context about the problem here.
@rdimitrov rdimitrov added enhancement New feature or request cli labels Sep 6, 2023
@JAORMX JAORMX added the good first issue Good for newcomers label Sep 13, 2023
@rdimitrov rdimitrov changed the title medic: add repo delete command cli: add medic repo delete command Oct 23, 2023
@rdimitrov rdimitrov changed the title cli: add medic repo delete command cli: add minder repo delete command Oct 31, 2023
@rdimitrov rdimitrov self-assigned this Nov 1, 2023
@rdimitrov rdimitrov mentioned this issue Nov 1, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rdimitrov rdimitrov

Labels
cli enhancement New feature or request good first issue Good for newcomers priority: high High priority size/m
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Implement repo delete for minder rdimitrov/mediator
2 participants
@JAORMX @rdimitrov