Personally I don't really mind such branches sticking around for
reference purposes. We have plenty stale branches anyways all over, it
would probably be more to clean up those (looking at myself there, too :)
On Fri, Apr 27, 2018 at 03:01 +0000, you wrote:
Yeah, that's certainly one option, but I think
it'd be hard for people to
On Thu, Apr 26, 2018 at 8:15 PM, Jon Siwek <jsiwek(a)corelight.com> wrote:
> On 4/26/18 11:06 AM, Vlad Grigorescu wrote:
> I'm torn between deleting the branches, in an effort to not clog up git
>> with unneeded branches, and leaving them around or perhaps archiving them
>> somewhere, in order to not completely lose the work in case it's of value
>> to someone down the road.
>> I'm curious if anyone has thoughts on the best way to proceed.
> Maybe delete the branch from the official git repo and push it to your own
> github fork.
> - Jon
bro-dev mailing list
Robin Sommer * ICSI/LBNL * robin(a)icir.org * www.icir.org/robin