tree a092be8d03f3a5e8ab2de65f13cfd9b5014d79c8
parent 254fdee451ed78cc34eb05861001db4a913d604c
author Luca Milanesio <luca.milanesio@gmail.com> 1727771455 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1727779695 +0000

Make the replication of deletion more prominent in logs

When replicating the deletion of a ref, the logs should not only
include the ref name but also the fact that the fetching causes
a deletion.

Include the "<<DELETED>>" prefix so that the operation is more
visible and searchable.

Change-Id: I6d5878fa2c8dad1e12c5738c0fcbf0358ff1475d