Help migrating to Github merge queues

Hi,

I'd like to move our bors + self-hosted buildbot-based CI to GHMQs, but I'm having issues. Has anyone managed to get it working?

I raised an SO question yesterday explaining what I've tried:

I wonder if anyone here knows what I did wrong? Thanks

So has anyone managed to reproduce a bors workflow with GHMQs?