Jeremy Elbourn
|
e66df3e45f
|
chore: make merge-ready not required for PR status to be green (#11769)
|
2018-06-13 11:53:45 -07:00 |
|
Joey Perrott
|
ab1204d268
|
chore: require merge ready label for angular robot (#11161)
|
2018-05-04 11:22:17 -07:00 |
|
Fabian Wiles
|
95409888a2
|
ci: add config for size plugin of the github rebot (#11120)
|
2018-05-03 08:54:04 -07:00 |
|
Joey Perrott
|
29bf02427a
|
chore: do not require reviews for material github bot (#11095)
|
2018-05-01 14:39:30 -07:00 |
|
Joey Perrott
|
b384c3730c
|
chore: update angular robot labels and required statuses (#11032)
|
2018-04-26 11:02:57 -07:00 |
|
Olivier Combe
|
ce53671111
|
ci: fix github bot config file extension (#11011)
|
2018-04-25 15:44:38 -04:00 |
|