From 77933c922d5136c5c2e2f0ac2edb4da67111d690 Mon Sep 17 00:00:00 2001
From: Simon Mo <xmo@berkeley.edu>
Date: Tue, 30 Jun 2020 13:25:59 -0700
Subject: [PATCH] Add scripts symlink back (#9219)

This partially reverts commit 43043ee4d5c672f7fbc22ac9559e8164731fd053.
---
 scripts | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 scripts

diff --git a/scripts b/scripts
new file mode 120000
index 000000000..8f67c5cc2
--- /dev/null
+++ b/scripts
@@ -0,0 +1 @@
+ci/travis
\ No newline at end of file