Subject: Closing this bug for now?

From: Andreas Enge <[email-masked]>
Date: Fri, 21 Jun 2024 14:47:41 +0200

Hello Nicolas,

there are a lot of commits still being added to the top of this branch.
As I understand it, this causes it to be repeatedly evaluated and built
by QA, resulting in a waste of build power.

Should we close this bug for now until the branch has reached its final
shape for the next merge? Or maybe keep it in its current shape until it
is merged and only then add new commits?

Andreas