travis-ci settings update