One of the things I've been working on recently is fixing bors-ng to mark pull requests "merged" instead of "closed" when squash merging a batch of them. The conventional wisdom is that this is Not Possible™️ for third-party merge queues using GitHub's API but I think it actually is possible.
To provide some context, GitHub does natively provide its own merge queue feature which is currently in beta, but we trialed this at work a few months ago and ran into this issue so that's why I'm pushing pretty hard on getting bors-ng working in the interim until that is fixed.
Plus I kinda just want to see if I can fix this longstanding UX wart in bors-ng once and for all since proving that it's possible will improve the design of other third-party merge automation solutions (like Mergify).