Merge 95718e3 into a0eb780

.mergify.yml

@@ -0,0 +1,44 @@
+pull_request_rules:
+  - name: remove outdated reviews
+    conditions:
+      - base=master
+    actions:
+      dismiss_reviews: {}
+  - name: automatic squash-merge when CI passes
+    conditions:
+      - base=master
+      - "#approved-reviews-by>=1"
+      - status-success=Travis CI - Pull Request
+      - label=ready-to-merge:squash
+      - label!=work-in-progress
+    actions:
+      merge:
+        method: squash
+  - name: automatic rebase-merge when CI passes
+    conditions:
+      - base=master
+      - "#approved-reviews-by>=1"
+      - status-success=Travis CI - Pull Request
+      - label=ready-to-merge:rebase
+      - label!=work-in-progress
+    actions:
+      merge:
+        method: rebase
+  - name: automatic merge when CI passes
+    conditions:
+      - base=master
+      - "#approved-reviews-by>=1"
+      - status-success=Travis CI - Pull Request
+      - label=ready-to-merge:merge
+      - label!=work-in-progress
+    actions:
+      merge:
+        method: merge
+  - name: automatically approve PR when pushed by me
+    conditions:
+      - author=tkf
+      - base=master
+      - status-success=Travis CI - Pull Request
+      - label~=ready-to-merge:.*
+    actions:
+      review: {}

.travis.yml

@@ -14,6 +14,12 @@ matrix:
   fast_finish: true
 notifications:
   email: false
+
+# Only build branches via PR to avoid running CI twice.
+# https://docs.travis-ci.com/user/conditional-builds-stages-jobs
+# https://docs.travis-ci.com/user/conditions-v1
+if: branch = master OR tag IS present OR type != push
+
 after_success:
   - julia -e 'using Run; Run.after_success_test()'
 jobs: