From ca3db54788eb78a301a55e227eb52a7f23ecbad1 Mon Sep 17 00:00:00 2001
From: Andrew Kryczka <andrewkr@fb.com>
Date: Fri, 10 Jun 2016 13:17:14 -0700
Subject: [PATCH] Fetch branches from github for format compatibility test

Summary:
The sandcastle setup doesn't provide a remote with our branches. Need
to fetch them directly from github.

Test Plan:
ran script on devserver and the relevant commands on a sandcastle
host.

Reviewers: IslamAbdelRahman, lightmark, kradhakrishnan, sdong

Reviewed By: sdong

Subscribers: andrewkr, dhruba, leveldb

Differential Revision: https://reviews.facebook.net/D59511
---
 tools/check_format_compatible.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tools/check_format_compatible.sh b/tools/check_format_compatible.sh
index d5f1c0590..e3353bfae 100755
--- a/tools/check_format_compatible.sh
+++ b/tools/check_format_compatible.sh
@@ -66,7 +66,13 @@ compare_db()
     set -e
 }
 
+# Sandcastle sets us up with a remote that is just another directory on the same
+# machine and doesn't have our branches. Need to fetch them so checkout works.
+# Remote add may fail if added previously (we don't cleanup).
+git remote add github_origin "https://github.com/facebook/rocksdb.git"
 set -e
+https_proxy="fwdproxy:8080" git fetch github_origin
+
 for checkout_obj in "${checkout_objs[@]}"
 do
    echo == Generating DB from "$checkout_obj" ...