very useful, thanks https://gitlab.com/petsc/petsc/-/issues/676
Il giorno ven 3 lug 2020 alle ore 13:32 Hapla Vaclav < vaclav.ha...@erdw.ethz.ch> ha scritto: > 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. > > > 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 > -- Stefano