Experimenting with GitHub merge queues; could you send me a PR?