dolfin team mailing list archive

[Johan Hake <johan.hake@xxxxxxxxx>]

On Wednesday August 24 2011 12:14:58 Johannes Ring wrote:
> On Wed, Aug 24, 2011 at 6:46 PM, Johan Hake <johan.hake@xxxxxxxxx> wrote:
> > 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?
> 
> It's probably doable, but I'm not sure it's worth it. At least for
> now, you can just ask me and I will be happy to delete your local
> branch on the buildbot. It's not that often you will need to delete
> it, is it?

No. That is fine. 

> FTR, I have chatted with André off list and I will set up a personal
> buildbot for him tomorrow.

Ok.

Johan