Browse files

Add script to pull in docs changes

  • Loading branch information...
bep committed Jul 21, 2017
1 parent f387cb1 commit ff433f98133662063cbb16e220fd44c678c82823
Showing with 5 additions and 0 deletions.
  1. +5 −0
@@ -0,0 +1,5 @@
# We may extend this to also push changes in the other direction, but this is the most important step.
git subtree pull --prefix=docs/ master --squash

0 comments on commit ff433f9

Please sign in to comment.