Push on another remote

Hello,

We try to automate our merge and bors-ng looks the solution we want to implement, but our workflow is not to merge on gitlab directly but on our own remote. Is it possible to configure bors to push the branch merged into master on another remote ?

If not, is it possible to host our own server of bors-ng and configure it to merge on one specific remote.

Thanks for your help.

Well, right now, bors doesn’t support GitLab at all. That’s going to need to be fixed before we’re going to be able to help you with setting it up at your workplace. @hauleth mentioned wanting this, too.

Also, it doesn’t support merging on other remotes. The way it currently works is to use GitHub’s API to perform the merge without downloading the source code, and for the hosted instance I don’t want to change that for perf reasons.