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.

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: Apr 16 2021 at 23:30UTC