summaryrefslogtreecommitdiff
path: root/Biz/Ide/hooks
AgeCommit message (Expand)Author
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