Excerpts from Sergey Mironov's message of Mon Jan 02 12:01:36 +0100 2012: > I found a note in the wiki about nixos/nixpkgs mirror on the gitorios, but > it looks abandoned Give me your SSH pub key and you'll get access. It may be that the syncing stopped - because they introduced gitorious.(com/org) long time ago ? Marc Weber