8 commits

Author	SHA1	Message	Date
tobiasKaminsky	914a2b67ca	"dependencies" label do not need a pull approve ... Signed-off-by: tobiasKaminsky <tobias@kaminsky.me>	2018-09-10 10:43:51 +02:00
Andy Scherzinger	705317bb88	Adding @ardevd to the reviewer list	2018-05-09 12:26:44 +02:00
AndyScherzinger	d26c57ae24	add "Merge" as yet another approval keyword	2018-03-23 11:36:23 +01:00
Tobias Kaminsky	7adb159984	Pullapprove: label ... Changes label. https://docs.pullapprove.com/groups/users/ > The GitHub users who are in this group. Case-insensitive. So I do not get why pullapprove currently misbehaves.	2018-01-18 22:28:03 +01:00
Andy Scherzinger	8e9a633d22	don't reset approvals on push	2017-09-05 09:49:52 +02:00
tobiasKaminsky	4f51fe6c92	A single rejection rejects the PR	2017-02-13 09:03:31 +01:00
AndyScherzinger	5f8e1f4b4a	EOF new line	2017-01-29 20:26:56 +01:00
AndyScherzinger	ee2884d9f1	use pullapprove	2017-01-29 20:07:59 +01:00