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