| commit | 808a76c97fc3c57b3c739b8547a4bc2ba5dd1a8d | [log] [tgz] |
|---|---|---|
| author | Luca Milanesio <luca.milanesio@gmail.com> | Tue Oct 01 09:30:55 2024 +0100 |
| committer | Luca Milanesio <luca.milanesio@gmail.com> | Tue Oct 01 10:48:15 2024 +0000 |
| tree | a092be8d03f3a5e8ab2de65f13cfd9b5014d79c8 | |
| parent | 254fdee451ed78cc34eb05861001db4a913d604c [diff] |
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