Re: Clean up old and obsolete branches

I agree Erik. I updated the list in CLOUDSTACK-10169 with more information (last updated, last commit, HEAD on master and PR status/number) to give us more immediate visibility of the status of those branches. So any branches can be deleted if: - which its HEAD exists on master - its PR was

Re: Clean up old and obsolete branches

I thought someone might bring that up. The problem with using branches in the official repo is that only committers will be able to commit there. So, we would restrict the group of people that might be able to participate in this type of cooperation. I do not see the difficulty for a

Re: Clean up old and obsolete branches

On Thu, Nov 30, 2017 at 9:05 PM, Khosrow Moossavi wrote: > Hi Community > > I would like to start the discussion around deleting old and obsolete > branches on github repository. This will help newcomers (including myself) > to keep track of which branches are important

Re: Clean up old and obsolete branches

> Op 3 december 2017 om 12:54 schreef Rafael Weingärtner > : > > > I agree with everything Khosrow said. Additionally, the branches CID can > be deleted, they are branches referencing problems found/pointed out by > Coverity scans. These Coverity problems are