dolfin team mailing list archive

[Johannes Ring <johannr@xxxxxxxxx>]

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?

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

Johannes