Some notes about how TravisCI CD might work