Added script to generate stats on a git checkout

infra/tools/antibody/antibody.py

Index: infra/tools/antibody/antibody.py
diff --git a/infra/tools/antibody/antibody.py b/infra/tools/antibody/antibody.py
index 5c8c0037e3de5ddb2af1d6e681aa14eff294e2a0..8a90bcea199cf9512818ba3f51413d56d1ab5e63 100644
--- a/infra/tools/antibody/antibody.py
+++ b/infra/tools/antibody/antibody.py
@@ -11,6 +11,7 @@ import os
 import shutil
 
 import infra.tools.antibody.cloudsql_connect as csql
+from infra.tools.antibody import compute_stats
 
 THIS_DIR = os.path.dirname(os.path.realpath(__file__))
 ANTIBODY_UI_MAIN_NAME = 'index.html'
@@ -107,4 +108,13 @@ def get_gitiles_prefix(git_checkout_path):
       return line[len('VIEW_VC:'):].strip()
   # TODO (ksho): implement more sophisticated solution if codereview.settings
   # does not contain VIEW_VC
-  return None
+  return None
+
+
+def generate_stats_files(cc, output_dirpath):
+  compute_stats.all_time_leaderboard(cc, 
+      os.path.join(output_dirpath, 'all_time_leaderboard'))
+  compute_stats.past_month_leaderboard(cc, 
+    os.path.join(output_dirpath, 'past_month_leaderboard'))
+  compute_stats.all_monthly_stats(cc,
+    os.path.join(output_dirpath, 'all_monthly_stats'))