Hi all, A part of the release process is to update the web site. I wonder if this could be simplified with a Jenkins job watching for the release tags and building/uploading the new site automatically. That would make one less thing to think about when releasing new versions. I suspect the most difficult issue to solve is to let Jenkins publish the content without compromising the security.
Thoughts? Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
