aniani/profanity
1
1
Fork 0
mirror of https://github.com/profanity-im/profanity.git synced 2025-01-03 14:57:42 -05:00
Code

Tip about pre-push hook in contribution guidelines

Browse Source
This commit is contained in:
William Wennerström 2020-07-07 10:06:47 +02:00
parent 1bbb819dac
commit d1bf922b1a
No known key found for this signature in database
GPG Key ID: E1382990BEDD319B
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
CONTRIBUTING.md
View File

@ -19,6 +19,22 @@ do
done
```
If you feel embarrassed every time the CI fails you can add the following
snippet to `.git/hooks/pre-push`:
```
#!/bin/sh
set -e
./ci-build.sh
```
This will run the same tests that the CI runs and refuse the push if it fails.
Note that it will run on the actual content of the repository directory and not
what may have been staged/committed.
If you're in a hurry you can add the `--no-verify` flag when issuing `git push`
and the `pre-push` hook will be skipped.
## Pull Requests
Before submitting a Pull Request please run valgrind and the clang static code analyzer.