diff options
Diffstat (limited to 'Biz')
| -rwxr-xr-x | Biz/Ide/hooks/pre-push | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push index 16f11d1..eccd4cd 100755 --- a/Biz/Ide/hooks/pre-push +++ b/Biz/Ide/hooks/pre-push @@ -3,8 +3,11 @@ # A simple ci that saves its results in a git note, formatted according to # RFC-2822, more or less. # -# To run this manually, exec the script. It will expect to read a line of -# inputs, you can just enter 'HEAD' and it will +# To run this manually, exec the script. It will by default run the tests for +# HEAD, whatever you currently have checked out. +# +# It would be cool to use a zero-knowledge proof mechanism here to prove that +# so-and-so ran the tests, but I'll have to research how to do that. # ## set -uo pipefail |