Flux.jl icon indicating copy to clipboard operation
Flux.jl copied to clipboard

Published 20 hours ago • verified publisher icon FluxML

remove Bors

Open CarloLucibello opened this issue 3 years ago • 3 comments

It's just extra friction with no real benefit

CarloLucibello avatar Jan 22 '22 09:01 CarloLucibello

I removed the restriction to merge only through bors already

CarloLucibello avatar Jan 22 '22 10:01 CarloLucibello

So what purpose does bors serve without the merging part? None, right? I'm in favor of deleting.

darsnack avatar Jan 22 '22 14:01 darsnack

It can still be used for merging, only is not strictly required. But yes, basically is just a step toward removing it

CarloLucibello avatar Jan 22 '22 15:01 CarloLucibello

Done in https://github.com/FluxML/Flux.jl/pull/2133.

ToucheSir avatar Dec 20 '22 15:12 ToucheSir