widelands-dev team mailing list archive

[SirVer <SirVer@xxxxxx>]

Please leave a short comment when you merge force to explain why it was necessary and why you are confident that the branch is green. 

> Am 12.11.2017 um 08:23 schrieb GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>:
> 
> @bunnybot merge force
> -- 
> https://code.launchpad.net/~widelands-dev/widelands/clang-tidy-round1/+merge/333560
> You are reviewing the proposed merge of lp:~widelands-dev/widelands/clang-tidy-round1 into lp:widelands.


-- 
https://code.launchpad.net/~widelands-dev/widelands/clang-tidy-round1/+merge/333560
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/clang-tidy-round1.