widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #05818
[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