... just like Greenwave did a few days ago.
Take a look at the greenwave git log to see what was done there in the Jenkinsfile. This should match that.
ok for me
Pull-Request has been merged by ralph
... just like Greenwave did a few days ago.