tree eec51675874dad6e4cea5ab41e6ad2112fd3dc86
parent 93eb58758d604b5c25cd139841d6ba7a74b2c7f0
author Antonio Barone <syntonyze@gmail.com> 1639662561 +0100
committer Antonio Barone <syntonyze@gmail.com> 1639662975 +0100

Delete replication metrics upon project deletion

Change I7259f520 introduced the handling of
ProjectDeletionReplicationSucceededEvent events to remove the metrics of
deleted projects upon successful replication of project deletions.

However the metrics were not removed from the gerrit instance that
initiated the replication, since it did not consume the
ProjectDeletionReplicationSucceededEvent produced by itself.

Register ReplicationStatus as a ProjectDeletedListener so that local
replication metrics can be removed as soon as the project is deleted
from the local repository.

Bug: Issue 12958
Change-Id: I5c3f2e51fddace3d76cf5b94ecd19dc4c3004440