[GitHub] [jena-site] rlenferink commented on pull request #17: Added Jenkinsfile to put deployment configuration in version control

rlenferink commented on pull request #17: URL: https://github.com/apache/jena-site/pull/17#issuecomment-665205857 Happy to help  This is an automated message from the Apache Git Service. To respond to the message, please

[GitHub] [jena-site] rlenferink commented on pull request #17: Added Jenkinsfile to put deployment configuration in version control

rlenferink commented on pull request #17: URL: https://github.com/apache/jena-site/pull/17#issuecomment-663844965 > Similar discussion ongoing in Commons about using a `Jenkinsfile`, GitHub actions, etc. > > I'm a bit rusty on Jenkins, but looks good to me  While GitHub