diff options
| author | Ben Sima <ben@bsima.me> | 2023-08-22 10:53:12 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2023-08-22 11:00:32 -0400 |
| commit | 9eac46cfeddc65938b3cc946629a9c3d93ac35ee (patch) | |
| tree | 75ec4d97e9cde9d477f37c4a8f70b2d407103740 /Control/Concurrent/Sema.hs | |
| parent | 8f5f080fe73f0b0cfbc18dfe2b8a466ed4b43375 (diff) | |
Add a commit-msg hook lint and various other cleanups
Turns out that gitlint by default enforces the exact commit-msg format that I
like to use. I'm enabling this because even I write poor commit messages
sometimes, and looking back on my commits from even a few days ago is sometimes
not very helpful.
I also made some minor comment and nix changes that I noticed while reviewing my
work from the last few days.
Diffstat (limited to 'Control/Concurrent/Sema.hs')
0 files changed, 0 insertions, 0 deletions