[MaxGabriel]

If anyone from GitHub is reading, any idea if the double commit bug the merge queue had has been fixed?

https://github.com/orgs/community/discussions/36568

(This was an issue for us during the beta)

[masklinn]

There are comments upthread which mention hitting this issue and say that things got smoother and they’re happy now.