diff options
author | Alexander Foremny <aforemny@posteo.de> | 2024-03-25 14:31:44 +0100 |
---|---|---|
committer | Alexander Foremny <aforemny@posteo.de> | 2024-03-25 14:41:47 +0100 |
commit | 4221ec60341d5d9e282d9a5e14ae19c132e5cf41 (patch) | |
tree | 17a2b0483dec6ccf9a92d1f65d06a1d25c367cc1 | |
parent | 69a1291ccf88fb0c6b521dd4c53c07d8b9006f3e (diff) |
issue: comment on add-anissue-merge
-rw-r--r-- | app/Main.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/app/Main.hs b/app/Main.hs index ded65bb..c9406b8 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -25,6 +25,8 @@ -- @assigned aforemny -- @priority high -- @topic review +-- +-- COMMENT I start to dislike how reviews clutter the history. If we are unable to merge review comments in a separate parent of a merge commit, we could consider moving the whole review discussion into the commit message of a commit eliminating them. -- TODO Add `anissue request-review` -- |