← Back to team overview

widelands-dev team mailing list archive

Deleted branches on merge requests will knock out bunnybot


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?



Follow ups