diff --git a/Scripts/pre-commit b/Scripts/pre-commit new file mode 100755 index 0000000000000000000000000000000000000000..90fde1b1a7fd10ac58a4697d54a75351fa4ec10b --- /dev/null +++ b/Scripts/pre-commit @@ -0,0 +1,8 @@ +#!/bin/bash + +# This file is expected to be use as pre-commit git hook; copy it in .git/hooks/ + +file_list=`git diff --cached --name-only` +root_dir=`git rev-parse --show-toplevel` +python ${root_dir}/Scripts/check_no_executed_cell.py ${file_list} +