From d4a60e1505becee06376335f599b4cb3852e1054 Mon Sep 17 00:00:00 2001
From: Gil Forsyth <gilforsyth@gmail.com>
Date: Fri, 7 Oct 2016 14:40:07 -0400
Subject: [PATCH] add xonsh script to update ply subtree

---
 update_ply.xsh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 update_ply.xsh

diff --git a/update_ply.xsh b/update_ply.xsh
new file mode 100755
index 000000000..b011675b3
--- /dev/null
+++ b/update_ply.xsh
@@ -0,0 +1,4 @@
+#!/usr/bin/env xonsh
+
+# update the ply repo bundled with xonsh
+git subtree pull --prefix xonsh/ply https://github.com/dabeaz/ply.git master --squash