On Wednesday August 24 2011 12:14:58 Johannes Ring wrote: > On Wed, Aug 24, 2011 at 6:46 PM, Johan Hake <johan.h...@gmail.com> 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 _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp