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