Commit Graph

12 Commits

Author SHA1 Message Date
Andy Scherzinger e3d57e7c42
Update SPDX header to reflect correct state
Resolves #12920

Signed-off-by: Andy Scherzinger <info@andy-scherzinger.de>
2024-04-30 12:18:45 +02:00
Andy Scherzinger a619cdbef8 Add SPDX header
Signed-off-by: Andy Scherzinger <info@andy-scherzinger.de>
2024-03-29 19:24:09 +01:00
Andy Scherzinger c5b17f4de9
Add SPDX header
Signed-off-by: Andy Scherzinger <info@andy-scherzinger.de>
2024-03-29 17:33:39 +01:00
tobiasKaminsky 3129c0e68d
only one review
Signed-off-by: tobiasKaminsky <tobias@kaminsky.me>
2019-01-21 13:23:58 +01:00
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