dolfin team mailing list archive

[Johan Hake <johan.hake@xxxxxxxxx>]

On Wednesday August 24 2011 00:07:15 Johannes Ring wrote:
> On Wed, Aug 24, 2011 at 12:39 AM, Johan Hake <johan.hake@xxxxxxxxx> 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