On Wednesday August 24 2011 00:07:15 Johannes Ring wrote: > On Wed, Aug 24, 2011 at 12:39 AM, Johan Hake <johan.h...@gmail.com> wrote: > > Ok, but to use that branch you need to merge what I did into your stuff, > > as the rbanches then has diverged. The easiest would be for me to delete > > that branch, but I do not know how to do that... > > There is a "Delete branch" link on the right-hand side on your branch > page: https://code.launchpad.net/~dolfin-core/dolfin/hake
I could also use bzr remove-branch lp:the-name-of-the-branch from my command line. Another thing which might be a nice feature is to have a remove branch from the actuall buildbot. As it now turned out, I pushed some commits which will not go into the main branch. I need to merge these into the main branch for then to remove them for the buildbot to pull from my branch. Is there an easy way to get around that? Maybe have a button for each buildbot for each project which would delete the local branch on the buildbot? Johan _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
