writing a metric contract: a study session that did not turn into more notes · PitHub