Skip to content

allow soft deletion of repositories to admin users#282

Merged
deniak merged 3 commits intomasterfrom
delete-repo
Apr 28, 2025
Merged

allow soft deletion of repositories to admin users#282
deniak merged 3 commits intomasterfrom
delete-repo

Conversation

@deniak
Copy link
Member

@deniak deniak commented Apr 15, 2025

Fix #273

With this delete feature, I chose to keep the records in the database in case a repository is deleted by mistake.
The delete feature will be open to all the admin users of the repository manager.

@deniak deniak marked this pull request as ready for review April 15, 2025 13:27
@deniak deniak requested a review from dontcallmedom April 15, 2025 13:27
@deniak deniak merged commit 36a6948 into master Apr 28, 2025
2 checks passed
@deniak deniak deleted the delete-repo branch April 28, 2025 05:07
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.

Clean up list of tracked repos

2 participants