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/Bild/Deps.hs | |
| 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/Bild/Deps.hs')
0 files changed, 0 insertions, 0 deletions