diff options
| author | Ben Sima <ben@bsima.me> | 2024-04-04 06:30:29 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-04-10 09:48:58 -0400 |
| commit | 051973aba8953ebde51eb1436fb3994e7ae699dc (patch) | |
| tree | cabdc3ce664ea71e30ee0d564d52bb6541a064f2 /Biz/Ide/deps | |
| parent | 383b375a13ffdfd42547747b4e1a5fd165c28f48 (diff) | |
Push ci notes automatically
I always want to push notes on a successful code push, so using the pre-push
hook to do so is perfect. This also expands the pre-push hook to handle
new/deleted branches, configures notes automatically, and finally checks that
commit messages are decent with gitlint, since `git amend` can bypass the git
commit-msg hook.
Diffstat (limited to 'Biz/Ide/deps')
0 files changed, 0 insertions, 0 deletions