Re: [Bro-Dev] How to deal with stale branches?

2018-04-27 Thread Robin Sommer
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 :)

Robin

On Fri, Apr 27, 2018 at 03:01 +, you wrote:

> Yeah, that's certainly one option, but I think it'd be hard for people to
> find.
> 
> On Thu, Apr 26, 2018 at 8:15 PM, Jon Siwek  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
> bro-dev@bro.org
> http://mailman.icsi.berkeley.edu/mailman/listinfo/bro-dev



-- 
Robin Sommer * ICSI/LBNL * ro...@icir.org * www.icir.org/robin
___
bro-dev mailing list
bro-dev@bro.org
http://mailman.icsi.berkeley.edu/mailman/listinfo/bro-dev


Re: [Bro-Dev] How to deal with stale branches?

2018-04-26 Thread Vlad Grigorescu
Yeah, that's certainly one option, but I think it'd be hard for people to
find.

On Thu, Apr 26, 2018 at 8:15 PM, Jon Siwek  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
bro-dev@bro.org
http://mailman.icsi.berkeley.edu/mailman/listinfo/bro-dev


Re: [Bro-Dev] How to deal with stale branches?

2018-04-26 Thread Jon Siwek


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
bro-dev@bro.org
http://mailman.icsi.berkeley.edu/mailman/listinfo/bro-dev