 tobiasKaminsky
|
3129c0e68d
only one review
|
6 years ago |
|
tobiasKaminsky
|
914a2b67ca
"dependencies" label do not need a pull approve
|
6 years ago |
 Andy Scherzinger
|
705317bb88
Adding @ardevd to the reviewer list
|
6 years ago |
|
AndyScherzinger
|
d26c57ae24
add "Merge" as yet another approval keyword
|
7 years ago |
 Tobias Kaminsky
|
7adb159984
Pullapprove: label
|
7 years ago |
|
Andy Scherzinger
|
8e9a633d22
don't reset approvals on push
|
7 years ago |
|
tobiasKaminsky
|
4f51fe6c92
A single rejection rejects the PR
|
8 years ago |
|
AndyScherzinger
|
5f8e1f4b4a
EOF new line
|
8 years ago |
|
AndyScherzinger
|
ee2884d9f1
use pullapprove
|
8 years ago |
