diff options
| author | Neil Alexander <neilalexander@users.noreply.github.com> | 2020-05-14 16:49:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-14 16:49:18 +0100 |
| commit | 3cb04e80042104d14ccfa162b3e40a5b08819eac (patch) | |
| tree | d54234745b7869a23352e37299a75eea8a3be44b /hooks/pre-commit | |
| parent | 1b34130a5b1a47bc461fd48c8ca731eaab1a529b (diff) | |
Update INSTALL.md, move docs (#1034)
* Update INSTALL.md
* Move some things
* Clean up
* Move some more things
* Don't build all the things for the monolith
* Update INSTALL.md
* Nuke hooks
Diffstat (limited to 'hooks/pre-commit')
| -rwxr-xr-x | hooks/pre-commit | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/hooks/pre-commit b/hooks/pre-commit deleted file mode 100755 index 6f98b813..00000000 --- a/hooks/pre-commit +++ /dev/null @@ -1,22 +0,0 @@ -#! /bin/bash - -set -eu - -# make the GIT_DIR and GIT_INDEX_FILE absolute, before we change dir -export GIT_DIR=$(readlink -f `git rev-parse --git-dir`) -if [ -n "${GIT_INDEX_FILE:+x}" ]; then - export GIT_INDEX_FILE=$(readlink -f "$GIT_INDEX_FILE") -fi - -# create a temp dir. The `trap` incantation will ensure that it is removed -# again when this script completes. -tmpdir=`mktemp -d` -trap 'rm -rf "$tmpdir"' EXIT -cd "$tmpdir" - -# get a clean copy of the index (ie, what has been `git add`ed), so that we can -# run the checks against what we are about to commit, rather than what is in -# the working copy. -git checkout-index -a - -./scripts/find-lint.sh fast |