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.

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

Delete server-repository #12

nlmarco opened this issue Jul 20, 2016 · 0 comments

Delete server-repository #12

nlmarco opened this issue Jul 20, 2016 · 0 comments


Copy link

nlmarco commented Jul 20, 2016

The owner of a repository should be able to delete it (completely - i.e. not only the registration, but also the actual data on the server). This might interact with #10 -- i.e. the software should ask the user, if he wants to:

  1. Delete the repository completely (only available, if this is the owner).

  2. Delete the registration only.

  3. Cancel.

@nlmarco nlmarco self-assigned this Aug 27, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet

No branches or pull requests

1 participant