[plt-dev] git usr repositories

On May  8, Jon Rafkind wrote:
> I cant create usr repositories in git
> 
> $ git clone gitplt:rafkind/foo
> Initialized empty Git repository in /home/jon/svn/foo/.git/
> Initialized empty Git repository in /home/git/repos/rafkind/foo.git/
> fatal: no matching remote head

I just tried it, and it works fine.  I also looked at that foo and
tried to clone it, and it's fine.  Are you using an old version?

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!