[tor-commits] [metrics-tasks/master] Ignore files generated by #6498 script.