commit f54de699f0391f39de3383fa2fe3533eb23b3f52
author Christoforos Miliotis <christoforos.miliotis.dev@gmail.com> Fri Apr 28 11:18:35 2023 +0100
committer Christoforos Miliotis <christoforos.miliotis.dev@gmail.com> Wed May 17 08:08:15 2023 +0000
tree b4a0b8e2a5a8d81037d8a87a9df4c111d027f8cc
parent c78b586a3b02afd2044ccbd625ccc42e2479bb56

Use delete-project plugin's repository deletion logic to delete a git
repo

The previous implementation was relying on the replication plugin's
LocalFS class, which was failing to delete directories hosted on NFS
filesystem, because of a lingering file handle.

We are therefore swapping that implementation with the one from the
delete-project plugin, which can effectively handle repos hosted on
NFS.

Worth pointing out that this change introduces inter-plugin dependency
with the delete-project plugin.

Bug: Issue 16730
Change-Id: Iea80a01b84ca72aef5de21db3a05e07a626db079