Guess this was fixed by signing commits now - Sebastian
On 2026/08/01 10:25:53 Christofer Dutz wrote: > Hi all, > > I just wanted to commit the update of the build-tools version and need to do > this via a PR … > Considering the level of activity we have here and not being able to approve > my own PR things are going to slow down dramatically here in the near future, > if we don’t change that to what I think was intended: > > > * > PRs from non committers need formal approval before being merged into develop > > Chris >
