Hello, FWIW I’ve also been using a Git mirror for the purposes of Nixpkgs-libre: <http://repo.or.cz/w/nixpkgs-libre.git>. I’ve been hoping since discussions with Eelco this summer that Nixpkgs would switch to Git, but that hasn’t happened yet (hint, hint! ;-)). Thanks, Ludo’.