Skip to content
GitLab
Explore
Sign in
Register
gitserver: Set repo as not_cloned when removed on disk
Code
Review changes
Check out branch
Download
Patches
Plain diff
Administrator
requested to merge
rs/set-not-cloned
into
main
Mar 09, 2021
Overview
2
Commits
6
Pipelines
0
Changes
6
Expand
Created by: ryanslade
Whenever we delete a repo, mark it as `not_cloned'
Merge request reports
Loading