Hi everyone, On Wed, Apr 5, 2023 at 1:46 AM Andreas Enge <andr...@enge.fr> wrote: > > I would suggest to keep the bug > open until it is merged to master.
Do we have a hook that closes such bugs automatically via instructions in commit messages? If not, I'd be happy to look into writing such a thing. It would also help to tie commits to bug reports, which can be good for research after the fact. Kind regards, Felix