Is bors now gone?

[DJDuque]

Sorry if this is not the place to ask about this.

Is bors-ng now gone? I couldn't find any last announcement in the forum, but it looks like bors is gone now (?)

I can't merge my PR with bors (ALPHA-g-Experiment/alpha-g#113).
And I can't login to the dashboard.

I was hoping bors would stay around until Github merge queues were generally available for (non-org) public repos.

Anyways, thanks a lot for your work in bors-ng.

[notriddle]

The publicly hosted one is gone, yes.

If you want to run it yourself, you can follow the instructions in the README.

[endigma]

Why the deprecation when Github still hasn't released their merge queue for general customers? It's enterprise only.