widelands-dev team mailing list archive
Mailing list archive
Deleted branches on merge requests will knock out bunnybot
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?