Add script for importing WPILib changes
I7f0e78c70dc3d39246dcb946cc2af3d24e7be495 is an example of the results
Change-Id: I8b321a6db011c137af712ea50d8fb7e4de7feb1e
diff --git a/doc/allwpilib_subtree.sh b/doc/allwpilib_subtree.sh
new file mode 100755
index 0000000..87b95d9
--- /dev/null
+++ b/doc/allwpilib_subtree.sh
@@ -0,0 +1,42 @@
+#!/bin/bash
+
+# A wrapper around git-subtree which first filters to remove the stuff from
+# allwpilib we don't want.
+# Also simplifies the interface a bunch to just what we need.
+
+# The implementation running `git filter-branch` over allwpilib's entire history
+# isn't the fastest thing ever, but it's not all that bad.
+
+# Example: ./doc/allwpilib_subtree.sh add third_party/allwpilib_2016 \
+# https://usfirst.collab.net/gerrit/allwpilib master
+
+set -e
+set -u
+set -o pipefail
+
+if [ $# -ne 4 ]; then
+ echo "Usage: $0 add|pull|filter prefix remote ref" >&2
+ exit 1
+fi
+
+COMMAND="$1"
+PREFIX="$2"
+REMOTE="$3"
+REF="$4"
+
+git fetch "${REMOTE}" "${REF}"
+
+readonly REMOVE_DIRECTORIES="ni-libraries wpilibj wpilibjIntegrationTests gradle"
+readonly TREE_FILTER="$(for d in ${REMOVE_DIRECTORIES}; do
+ echo "if [ -d $d ]; then git rm -rf $d; fi && "
+done)"
+git filter-branch --tree-filter "${TREE_FILTER}true" FETCH_HEAD
+
+FILTERED_REF="$(git rev-parse FETCH_HEAD)"
+
+if [[ "${COMMAND}" = "filter" ]]; then
+ echo "Filtered ref is ${FILTERED_REF}"
+ exit 0
+fi
+
+exec git subtree "${COMMAND}" --squash --prefix="${PREFIX}" "${FILTERED_REF}"