chl/scripts-admin-quickndirty-public
1
0
Fork 0
Code Wiki Activity

Commit initial: récupération et tri rapide

Browse source
This commit is contained in:
Chl 2019-07-23 22:28:09 +02:00
commit a52829f96c
104 changed files with 11892 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
hooks-git/website-cracra/post-receive Executable file
View file

@ -0,0 +1,11 @@
#!/bin/sh
# Stop on the first error
set -ex
export GIT_WORK_TREE=$GIT_DIR/..
# Theoretically, everything has been checked in the pre-receive hook
# and no local modification should go missing (at worst, there's the
# reflog)
git reset --hard