[tor-commits] [metrics-base/master] Make build revision properties file project-specific.