← Back to team overview

widelands-dev team mailing list archive

[Merge] lp:~widelands-dev/widelands/ignore_dev_branch into lp:widelands

 

Tino has proposed merging lp:~widelands-dev/widelands/ignore_dev_branch into lp:widelands.

Commit message:
For Travis builds ignore github branch _widelands_dev_widelands_trunk.

Requested reviews:
  Widelands Developers (widelands-dev)

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/ignore_dev_branch/+merge/284711

Currently bunnybot mirrors trunk to both github branches master and _widelands_dev_widelands_trunk.
Let Travis only build master.
-- 
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/ignore_dev_branch into lp:widelands.
=== modified file '.travis.yml'
--- .travis.yml	2016-01-16 17:52:56 +0000
+++ .travis.yml	2016-02-02 10:42:23 +0000
@@ -8,6 +8,11 @@
   - "sh -e /etc/init.d/xvfb start"
   - sleep 3 # give xvfb some time to start
 
+# ignore this branch because it is only a mirror of master
+branches:
+  except:
+    - _widelands_dev_widelands_trunk
+
 matrix:
   include:
      - compiler: clang


References