I just used for the first time the feature of GitLab called "Resolve this thread in a new issue". It's the button next to Resolve thread.
[cid:32269E33-5AA2-4613-B308-8DF8F78D61BE@aircard] It automatically created issue https://gitlab.com/petsc/petsc/-/issues/675 from a thread https://gitlab.com/petsc/petsc/-/merge_requests/2940#note_373215688. It left a note "created #675 to continue this discussion" in that thread. I think this is a good workflow and could be done more often. Vaclav
