5 commits

Author	SHA1	Message	Date
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