Fix: RefUpdate.delete does not prune empty directories