From 051973aba8953ebde51eb1436fb3994e7ae699dc Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Thu, 4 Apr 2024 06:30:29 -0400 Subject: 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. --- .envrc | 2 ++ 1 file changed, 2 insertions(+) (limited to '.envrc') diff --git a/.envrc b/.envrc index 4fcbff9..717b333 100644 --- a/.envrc +++ b/.envrc @@ -37,6 +37,8 @@ # # configure git git config --local core.hooksPath "$CODEROOT/Biz/Ide/hooks" + git config --local notes.displayRef refs/notes/ci + git config --local remotes.origin.fetch +refs/notes/*:refs/notes/* notes git config --local branchless.test.strategy worktree git config --local branchless.test.alias.default 'git clean -ffdx; eval $(direnv export bash); bild --test **/*' git config --local branchless.test.alias.bild 'git clean -ffdx; eval $(direnv export bash); bild **/*' -- cgit v1.2.3