Fix and clean up the Jenkinsfile #407
Description
The file here https://github.com/jgroups-extras/jgroups-aws/blob/main/Jenkinsfile needs a bit of polishing, e.g. it doesn't push the right branch as SNAPSHOT.
{{ message }}
The file here https://github.com/jgroups-extras/jgroups-aws/blob/main/Jenkinsfile needs a bit of polishing, e.g. it doesn't push the right branch as SNAPSHOT.