Hi, On Fri, 23 Mar 2018 at 08:47 Antonio <[email protected]> wrote:
> Alternatively any other person having Jenkins permissions, could you > please set up a script to publish the website as in [1]?. > One thing that isn't clear to me, and I don't know if it is to you from other conversations? From a permissions point of view, should that script be using the GitHub mirror or the repo here? Best wishes, Neil -- Neil C Smith Artist & Technologist www.neilcsmith.net Praxis LIVE - hybrid visual IDE for creative coding - www.praxislive.org
