diff options
| author | Ben Sima <ben@bsima.me> | 2024-04-10 23:14:40 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-04-11 09:23:43 -0400 |
| commit | 644f3a822b6aa1b3ce2e53ed0a04be5b0651d9fb (patch) | |
| tree | a4e36b8c3ae65c57db5198fae27c3b7e086fe2ae /Biz/Ide | |
| parent | cbfef60225d604d378f60dc7064c0dd708e294eb (diff) | |
Don't run the pre-push script when pushing git notes
I didn't even realize this would happen, but obviously it would. So my CI system
was trying to run tests on all note commits, and throwing weird errors
obviously, and probably recursing into an endless void of git pushes.
Diffstat (limited to 'Biz/Ide')
| -rwxr-xr-x | Biz/Ide/hooks/pre-push | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push index fc0ca3d..fd243a9 100755 --- a/Biz/Ide/hooks/pre-push +++ b/Biz/Ide/hooks/pre-push @@ -18,4 +18,4 @@ do done gitlint --commits "$range" lint git test run --command ci "$range" -git push "$remote" refs/notes/ci +git push "$remote" refs/notes/ci --no-verify |