Hello, Am Wed, Apr 05, 2023 at 09:19:43AM -0700 schrieb Felix Lechner: > 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.
we do not as far as I know, and I agree that it would be useful to add a two-way link between bug reports and commits (for "real" bugs, not "issues" created from the patches list). I do not know if there is a general convention on how this should be done; supposedly it would need a bit of discussion to come to a consensus. Andreas