On 9/3/2018 11:10 PM, Johannes Schindelin via GitGitGadget wrote:
+if test -n "$TRAVIS_COMMIT" +then + # We are running within Travis CI
Personally, I'd find a check like if test "$TRAVIS" = "true" more speaking (also see [1]). [1] https://docs.travis-ci.com/user/environment-variables/ -- Sebastian Schuberth