Migrating from Bors-NG to Github Merge Queues

I recently had to migrate my team's CI from Bors-NG to Github Merge Queues. In this post I share my experience in doing so.