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
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