tree 18b03f59b3ebdd8938cd15e1b3bd9fad54bf9738
parent 64c6d5642bb1b225c570857d436d4f0edd0d55c8
author Daniele Sassoli <danielesassoli@gmail.com> 1763751275 +0000
committer Daniele Sassoli <danielesassoli@gmail.com> 1764328234 +0000

Move projects to delete into separate folder

Currently when projects are deleted they sometimes leave behind spurious
files, that, for one reason or another(i.e. File Handle still in use)
could not be deleted at the time the command run.

This is expected, so much so that, on a regular, configurable interval,
we scan for left over repositories to delete in Gerrit's git data folder
for any of these leftover folders.

If the installation has thousands of repositories, scanning the whole
git data folder can become very I/O intensive occupying precious
resources.

Move folders to be deleted to a configurable directory within the git
data folder, so that we only need to scan this, rather than the whole
git data folder.

Bug: Issue 461414275
Change-Id: Iefdd54f1e2a8f2c97477a1ab4b9d87779c0255b9