widelands-dev team mailing list archive

[Fòram na Gàidhlig <fios@xxxxxxxxxxxxxxxxxxx>]

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