Merging super old topic branches exploded in my face. Build
bots to the rescue.