Merge pull request #218 from ucb-bar/ignore-docs-ci

Ignore docs in CircleCI
This commit is contained in:
Abraham Gonzalez
2019-09-04 19:49:53 -07:00
committed by GitHub
3 changed files with 37 additions and 0 deletions

5
scripts/add-githooks.sh Executable file
View File

@@ -0,0 +1,5 @@
#!/usr/bin/env bash
# adds githooks, expects to be run from base directory
git config core.hooksPath .githooks