2016-11-07 20:59 GMT+03:00 Vicențiu Ciorbaru :
> I'm wondering if it makes sense to have an automatic cleanup process for
> branches older than X months?
After few months / clock glitch it _could_ drop the entire repo :D
I encourage people to use personal forks. Not merged -> does not exist.
__
On Mon, 7 Nov 2016 at 19:40 Elena Stepanova wrote:
> Hi,
>
> On 11/07/2016 08:59 PM, Vicențiu Ciorbaru wrote:
> > Hi!
> >
> > I'm wondering if it makes sense to have an automatic cleanup process for
> > branches older than X months?
>
> Please don't do that. It happens that some work is delayed f
Hi,
On 11/07/2016 08:59 PM, Vicențiu Ciorbaru wrote:
Hi!
I'm wondering if it makes sense to have an automatic cleanup process for
branches older than X months?
Please don't do that. It happens that some work is delayed for really
long period of time.
Neither the first (by date) nor the secon
Hi!
ALL BRANCH OWNERS: PLEASE REVIEW AND CLEANUP YOUR STALE BRANCHES AT
https://github.com/MariaDB/server/branches/yours
IT SHOULDN'T TAKE MORE THAN A FEW MINUTES!
On Mon, Nov 07, 2016 at 04:59:44PM +0100, Kristian Nielsen wrote:
...skip...
> Right, that was the intention of my mail, Cc:'ing th
Hi!
I'm wondering if it makes sense to have an automatic cleanup process for
branches older than X months?
We can potentially add some exceptions for work that needs to stay.
Regards,
Vicențiu
On Mon, 7 Nov 2016 at 18:54 Sergey Vojtovich wrote:
> Hi!
>
> ALL BRANCH OWNERS: PLEASE REVIEW AND C
Sergey Vojtovich writes:
> First, your list seem to be quite outdated. Did you run git remote prune
> origin?
> At the moment of writing https://github.com/MariaDB/server says there're 124
> branches.
I did not :-(. Bummer, that was stupid, I even wrote in the mail how
removing branches remotel
Hi Kristian,
Thanks for raising this issue. Amount of branches is painful indeed. A few
comments from my side.
First, your list seem to be quite outdated. Did you run git remote prune origin?
At the moment of writing https://github.com/MariaDB/server says there're 124
branches.
At least the foll
We currently have more than 200 branches in the MariaDB Server github repo,
most of which look like they are no longer used. I would like to remove the
unused ones to remove clutter. Eg. in `git branch -la` or the drop-downs on
the github webpage.
Below is a list of a little less than two-thirds o
8 matches
Mail list logo
