Merge commit '7ca916758420fabbd4bbe7d007ceaaff8d0ccf4d'

Author: Travis CI

.travis.yml

@@ -40,14 +40,16 @@ jobs:
         skip_cleanup: true
         api_key: $GITHUB_TOKEN
         file: $RELEASE_PACKAGE
+        on:
+          branch: master
 
 stages:
   - name: test
     if: branch!=master AND branch!=^untagged.*
   - name: merge (develop --> master)
-    if: branch==develop AND type!=pull_request
+    if: branch=develop AND type!=pull_request
   - name: deploy
-    if: branch==master AND type!=pull_request
+    if: branch=master
 
 notifications:
   email: false

bin/deploy/merge_develop_to_master.sh

@@ -7,7 +7,7 @@ if [ "$TRAVIS_BRANCH" == "develop" ]; then
     git fetch
     git reset --hard
     git checkout master || echo "Git checkout master failed"
-    git merge --ff-only "$TRAVIS_COMMIT" || echo "Merge develop to master failed"
+    git merge "$TRAVIS_COMMIT" || echo "Merge develop to master failed"
     git push -q https://$GITHUB_TOKEN@github.com/ggeop/Python-ai-assistant master
 fi