[tor-commits] [metrics-tasks/master] Move #2647 report sources to tech-reports.git.