Doug Hellmann 6263953264 prune dead branches on clone ... When we clone the repo, if we got a version from a local cache we may need to prune dead branches. Change-Id: I94e5856a3f21a4fe069b3450427514bc82d18614 Signed-off-by: Doug Hellmann <doug@doughellmann.com>		2018-08-17 10:44:59 -04:00
..
python3-first	improve error handling	2018-08-17 10:44:00 -04:00
clone_repo.sh	prune dead branches on clone	2018-08-17 10:44:59 -04:00
gather_data.sh	split out data collection from reporting	2018-05-02 22:14:34 -04:00
run_contributor_report.sh	skip the anonymous and distinct reports	2018-05-02 22:14:34 -04:00