On Fri, Nov 6, 2015 at 5:05 PM, John Wiegley <
address@hidden> wrote:
> You can move branches into a different "ref space" on the server (this is not
> tested yet, but should give the idea):
[...]
> Now you can write:
>
> git log origin/history/branches/Boehm-GC
This is great. We should do that with all those old branches.