diff options
| author | Ben Sima <ben@bsima.me> | 2024-05-21 09:03:00 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-05-21 09:03:00 -0400 |
| commit | c57a7f1cb3823e5290812b30dd22a210d15c1d97 (patch) | |
| tree | 8e54b850e6dd9bd9345964166915309cc242e2f4 /Biz/Ide/repl.sh | |
| parent | 3d4d36e5b4b61cbbee93032425c822f2f478449c (diff) | |
Set pre-push hook to fail if subcommand fails
I think gitlint violations were sneaking through without this.
Diffstat (limited to 'Biz/Ide/repl.sh')
0 files changed, 0 insertions, 0 deletions