Re: [Bro-Dev] How to deal with stale branches?
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 Siwekwrote: > > > > > > > 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?
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 Siwekwrote: > > > 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?
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