On Fri, Nov 6, 2015 at 5:05 PM, John Wiegley <address@hidden
> 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.