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
My 0.02 US$
An other approach would be to run the MTT tests, store the results in a
(text ? xml ?) file,
and then submit them from an internet connected machine.
not only that would allow you to submit to multiple databases, but that
would allow you to run
the MTT test suite on an