Stream: wg-cli

Topic: bors


pksunkara (Feb 02 2020 at 13:08, on Zulip):

Woohoo! Bors is working now. I have set only it to have permission to push to master or merge a PR. Here is the commands you can use. https://bors.tech/documentation/

Tshepang Lekhonkhobe (Feb 02 2020 at 17:23, on Zulip):

is this the same that rustc uses?

pksunkara (Feb 02 2020 at 18:22, on Zulip):

I think rust uses a self hosted version

Last update: May 27 2020 at 22:50UTC