/~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
The proposal to merge lp:~widelands-dev/widelands/ignore_dev_branch into
lp:widelands has been updated.
Commit Message changed to:
For Travis builds ignore github branch _widelands_dev_widelands_trunk.
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/ignore_dev_branch
Awesome!! I did not know about that option, that is way less wasted cycles :)
--
https://code.launchpad.net/~widelands-dev/widelands/ignore_dev_branch/+merge/284711
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/ignore_dev_branch.
The proposal to merge lp:~widelands-dev/widelands/ignore_dev_branch into
lp:widelands has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/ignore_dev_branch/+merge/284711
--
Your team Widelands Developers is subscri
4 matches
Mail list logo
