Fix repository delte notification and CLOSE buffering

2024-06-03 12:27:53 -07:00
parent 35eccf7467
commit d4cecd5e50
4 changed files with 29 additions and 5 deletions
@@ -162,6 +162,7 @@ export class Repository extends Emitter {

    // Delete our duplicate first
    if (duplicate) {
+      this.notifyDelete(duplicate)
      this.eventsById.delete(duplicate.id)

      if (isReplaceable(duplicate)) {