Closed juliusvonkohout closed 3 days ago
/lgtm
/lgtm
/approve
sorry @tenzen-y @johnugeorge you have to /lgtm again since i had to sign the last commit. It should merge automatically afterwards.
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: juliusvonkohout
The full list of commands accepted by this bot can be found here.
The pull request process is described here
/lgtm
the script had some issues, but i hope it is fine now @rimolive