maria-developers team mailing list archive
-
maria-developers team
-
Mailing list archive
-
Message #10067
Re: Deleting unused branches on github
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 <svoj@xxxxxxxxxxx> wrote:
> 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 the top committer in
> each
> > branch (sorry I seem to have forgotten to Cc: you).
> >
> > Or do you have a better way to determine who is the branch owner of a
> > particular branch?
> Top committer is fine.
>
Follow ups
References