Hi all, some of you have recently deleted branches with merge requests, created a new branch with the same name and started a new merge request on it.
This will knock out our bunnybot that is running our build system, because that bot is one giant ugly hack that we'll have to live with until our planned move to GitHub after Build 20. @Sirver: Can you start the bot again for us? Thanks GunChleoc _______________________________________________ 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
