[MTT devel] complaints about github pages being generated with every PR

2018-10-17 Thread Howard Pritchard
Hi Folks, A certain individual is complaining about the fact that MTT repo currently is set to have github pages updates following every commit. I suspect fixing this requires intervention by someone with admin rights on the repo. Could we have this feature disabled? Howard

Re: [MTT devel] complaints about github pages being generated with every PR

2018-10-17 Thread Gilles Gouaillardet
Howard, each commits trigger a travis build, and the deploy section of travis builds the doc and push it if the html has changed (the pdf contains timestamps, that's why we only focus on the html). bottom line, the doc will be updated to gh-pages only if it has to. If the gh-pages repo is