• she/her

Principal engineer at Mercury. I've authored the Dhall configuration language, the Haskell for all blog, and countless packages and keynote presentations.

I'm a midwife to the hidden beauty in everything.

💖 @wiredaemon


discord
Gabriella439
discord server
discord.gg/XS5ZDZ8nnp
location
bay area
private page
cohost.org/newmoon

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).


You must log in to comment.