diff options
| author | Ben Sima <ben@bsima.me> | 2023-08-21 21:35:01 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2023-08-21 21:57:08 -0400 |
| commit | 3ac752fcd94cf8796c6cbe03438211d55dc2d446 (patch) | |
| tree | 3e15314a9f18ff9f5258460f1796b4e3c13d5518 /Biz/Ide/lint | |
| parent | e5a6175e044d69b8f598a2c2acb9bcfd77b9001c (diff) | |
Only run pre-push if there hasn't been a successful run
Diffstat (limited to 'Biz/Ide/lint')
0 files changed, 0 insertions, 0 deletions