widelands-dev team mailing list archive

[GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>]

Yes, merge requests are the way to ping bunnybot.

Travis still doesn't have GCC7 out of the box, but we could try this:

https://docs.travis-ci.com/user/installing-dependencies/#Installing-Packages-from-a-custom-APT-repository

-- 
https://code.launchpad.net/~widelands-dev/widelands/gcc7/+merge/323576
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/gcc7 into lp:widelands.