[wip] switch bors integration to use GH Actions#284
Closed
yoshuawuyts wants to merge 2 commits intomasterfrom
Closed
[wip] switch bors integration to use GH Actions#284yoshuawuyts wants to merge 2 commits intomasterfrom
yoshuawuyts wants to merge 2 commits intomasterfrom
Commits
Commits on Oct 6, 2019
- committed
- committed
