9 Jul
2015
9 Jul
'15
10:18 a.m.
Since the last follow-up, this seems to have been resolved. Today the http and git URLs are returning the same repository content as far as I can tell.