Migrating off bors-ng

This is at most tangentially related, but what's the best current replacement for https://bors.tech?

My understanding is that:

  • the public instance of bors.tech is no longer available
  • while GitHub merge queue is only available for organizations, not individual repos (GHMQ is also not good, but that I can live with that)

So, what are the practical alternatives today?

3 Likes

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.