300GB git repo... anyway, good to see there's work for merge in back to git proper, though it seems like that is still a work in progress (maybe) as <a href="https://github.com/Microsoft/git/" rel="nofollow">https://github.com/Microsoft/git/</a> still seems pretty active.