summaryrefslogtreecommitdiff
path: root/Biz/Ide/pre-push
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2024-04-10 23:14:40 -0400
committerBen Sima <ben@bsima.me>2024-04-11 09:23:43 -0400
commit644f3a822b6aa1b3ce2e53ed0a04be5b0651d9fb (patch)
treea4e36b8c3ae65c57db5198fae27c3b7e086fe2ae /Biz/Ide/pre-push
parentcbfef60225d604d378f60dc7064c0dd708e294eb (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/pre-push')
0 files changed, 0 insertions, 0 deletions