maria-developers team mailing list archive

Thread
Date

Re: Deleting unused branches on github

To: Vicențiu Ciorbaru <vicentiu@xxxxxxxxxxx>
From: Игорь Пашев <pashev.igor@xxxxxxxxx>
Date: Thu, 10 Nov 2016 22:24:44 +0300
Cc: Vladislav Vaintroub <wlad@xxxxxxxxxxx>, Otto Kekäläinen <otto@xxxxxxxxxxx>, Oleksandr Byelkin <sanja@xxxxxxxxxxx>, MariaDB Developers <maria-developers@xxxxxxxxxxxxxxxxxxx>, Sergei Petrunia <psergey@xxxxxxxxxxxx>, Kristian Nielsen <knielsen@xxxxxxxxxxxxxxx>, Michael Widenius <monty@xxxxxxxxxxx>
In-reply-to: <CACzaYTMCp8+6XToSzGqFtbsod0hwi5HsPTkKJW79W1Xi2Pby3A@mail.gmail.com>

2016-11-07 20:59 GMT+03:00 Vicențiu Ciorbaru <vicentiu@xxxxxxxxxxx>:
> 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.

References

Deleting unused branches on github
From: Kristian Nielsen, 2016-11-07
Re: Deleting unused branches on github
From: Sergey Vojtovich, 2016-11-07
Re: Deleting unused branches on github
From: Kristian Nielsen, 2016-11-07
Re: Deleting unused branches on github
From: Sergey Vojtovich, 2016-11-07
Re: Deleting unused branches on github
From: Vicențiu Ciorbaru, 2016-11-07