summaryrefslogtreecommitdiff
path: root/Biz/Ide/hooks
AgeCommit message (Expand)Author
2024-04-11Don't run the pre-push script when pushing git notesBen Sima
2024-04-11Fix syntax error in pre-push hookBen Sima
2024-04-10Save commit message if gitlint failsBen Sima
2024-04-10Push ci notes automaticallyBen Sima
2024-04-03Enable CI for every commitBen Sima
2024-04-03Update comment to CI scriptBen Sima
2024-04-01Make bild exception for git hooksBen Sima
2024-04-01Rename .bash files to .shBen Sima
2023-10-27CI script improvementsBen Sima
2023-10-10Add git-branchlessBen Sima
2023-10-10Environment fixes on berylliumBen Sima
2023-10-10Don't swallow namespace-parsing errorsBen Sima
2023-10-03Rename BIZ_ROOT to CODEROOTBen Sima
2023-09-19Fix checking of grep exitcodeBen Sima
2023-08-22Add a commit-msg hook lint and various other cleanupsBen Sima
2023-08-21Don't run ci on notes refsBen Sima
2023-08-21Only run pre-push if there hasn't been a successful runBen Sima
2023-08-17Reload dev environment after git checkoutBen Sima
2023-08-16Fix variable substitution and indenting in ci scriptBen Sima
2023-08-16Condense note message in pre-push hookBen Sima
2023-08-16Turn pre-push into a record-keeping ciBen Sima
2023-07-28Fix tags generation in git hookBen Sima
2022-08-10Fix path to git hookBen Sima
2022-08-08Ensure BIZ_ROOT is set in shell scriptsBen Sima
2022-08-03Fix globbing in pre-push hookBen Sima
2022-08-01Lint only changed filesBen Sima
2022-07-26Put _/bin on the PATHBen Sima
2022-07-19Upgrade nixpkgs, ghc923Ben Sima
2022-03-30Replace ci with the git pre-push hookBen Sima
2022-02-09Move git hooks to own folderBen Sima
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 03:34:24 +0000