Philipp Oppermann
|
1fc00669a6
|
Gate bors on Github Actions jobs
|
2019-09-11 11:19:49 +02:00 |
|
Philipp Oppermann
|
b17c06b47d
|
Require azure pipelines for bors
|
2019-04-24 17:54:21 +02:00 |
|
Philipp Oppermann
|
51ef14c71a
|
Update bors.toml
|
2019-02-08 10:19:13 +01:00 |
|
Philipp Oppermann
|
00d869952d
|
Only use travis for bors
|
2018-10-20 18:33:41 +02:00 |
|
Philipp Oppermann
|
424e9c4aaa
|
Bors: Remove netlify from required status set
Netlify does not push status information for commits, only for pull requests.
|
2018-03-13 16:41:59 +01:00 |
|
Philipp Oppermann
|
3a8de6cdec
|
Bors: Add netlify to required status set and delete merged branches
|
2018-02-12 12:59:57 +01:00 |
|
Philipp Oppermann
|
9bb456ed2f
|
Add support for bors.ng
|
2018-02-10 16:45:53 +01:00 |
|