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

_______________________________________________
Mailing list: https://launchpad.net/~widelands-dev
Post to     : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp

Reply via email to