Seems like it is not possible to delete master. I will just update the website mentioning this.
Thanks Hari -- Hari Shreedharan On Thursday, August 2, 2012 at 12:28 AM, Hari Shreedharan wrote: > It seems like a branch was created which has the same commits as trunk. I am > deleting the branch, to avoid confusion of that being the main development > branch - as in git convention. > > Thanks, > Hari > > -- > Hari Shreedharan >
