Open-Harbor/osrm-backend
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 3 Wiki Activity

[skip ci] Update CONTRIBUTING.md to include correct pre-commit hook

Browse Source
This commit is contained in:
Patrick Niklaus 2017-08-11 10:05:45 +00:00
parent 75d6f59026
commit 3141eb5dce
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
CONTRIBUTING.md
View File

@ -18,7 +18,7 @@ if [ x"$remote" = xorigin ] ; then
echo "Rejected push to $remote/master" ; exit 1 echo "Rejected push to $remote/master" ; exit 1
fi fi
./scripts/format.sh ./scripts/format.sh && ./scripts/error_on_dirty.sh
if [ $? -ne 0 ] ; then if [ $? -ne 0 ] ; then
echo "Unstaged format changes" ; exit 1 echo "Unstaged format changes" ; exit 1
fi fi