Tatsuo Ishii <is...@sraoss.co.jp> writes: > I would prefer to mark it done then remove the item just for leaving > an editing history.
Sure, although leaving a commit message with a pointer to the fix in git would document this better. regards, tom lane