diff options
| author | Ben Sima <ben@bsima.me> | 2024-04-08 18:33:02 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-04-10 19:56:46 -0400 |
| commit | 28a40c430e989c5bc949e074bceda6b891902287 (patch) | |
| tree | 7a56aa5bfec4415601f7479fc719e97a59d4e0d8 /System/Random/Shuffle.hs | |
| parent | aa5f12a5a2365a35f17becc66cf7a67fa86a4440 (diff) | |
Save commit message if gitlint fails
I got annoyed losing my well-crafted commit message one too many times.
Diffstat (limited to 'System/Random/Shuffle.hs')
0 files changed, 0 insertions, 0 deletions