tree 1fd740634a7bdbba3559b4e228d581b15899fd4f
parent 36eff93f31746eb1df6b0267d7a624730b7ec3a2
author Luca Milanesio <luca.milanesio@gmail.com> 1750373827 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1750426348 +0100

Manage change deletion performed by pull-replication

When a delete change is replicated through the pull-replication plugin,
the fetch-ref-replicated event contains the ref-name of the change /meta
with a FORCED|NO_CHANGE result and an inexistent ref on the repository.

Leverage the event in the FetchRefReplicatedEventHandler and delete also
the change from the index.

Depends-On: https://gerrit-review.googlesource.com/c/plugins/replication/+/480184?
Change-Id: I8567a583fc149eb630c72eb45084a5e7b423decb