widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #11681
Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
No problem. As long as we have one commit for the merge the single steps aren't that important.
Seems like I am quite talented with breaking bunnybot though, sorry. So the problem was merging with the same branch? I would have thought that this is a quite normal operation for bzr and git, isn't it? What would have been the bunnybot-friendly way to merge(?) the diverged branch heads?
--
https://code.launchpad.net/~widelands-dev/widelands/net-uuid/+merge/332264
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/net-uuid.
References