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