[m-rev.] for review: fix bug #183

Julien Fischer jfischer at opturion.com
Mon Jun 3 16:56:07 AEST 2013

Hi Peter,

On Thu, 23 May 2013, Peter Wang wrote:

>>>> On sort of related note, the conversion to git has meant that there
>>>> are loads of useless branches and tags in the github project.  Can we
>>>> delete these?
>>> The unlabeled-* branches and the unstable-* and stable-* tags?
>> Yes, yes, and yes -- and probably yes to quite a few of the others there
>> too.
> "unlabeled" are apparently a result of deleted branches in CVS.
> I guess they were earlier versions of the "mode-constraints" branch.
> The stable/unstable tags, I guess, were automatically made to indicate
> the source files for a binary package.  I see no need to keep them.

Do you want to do this, or are you happy for me to go ahead and do it?


More information about the reviews mailing list