[tor-commits] [metrics-tasks/master] task-6329: Ignore 'details.json'