Thanks Thomas, it works again now

-----Original Message-----
From: Thomas Preud'homme [mailto:[email protected]] 
Sent: samedi 16 février 2013 23:39
To: Christian Jullien
Cc: [email protected]
Subject: Re: [Tinycc-devel] Can't "git clone" anymore

Le samedi 16 février 2013 18:28:52, Christian Jullien a écrit :
> c:\tmp>git clone git://repo.or.cz/tinycc.git Cloning into 'tinycc'...
> remote: Counting objects: 5037, done.
> remote: Compressing objects: 100% (1558/1558), done.
> remote: Total 5037 (delta 3427), reused 5037 (delta 3427) Receiving 
> objects: 100% (5037/5037), 2.30 MiB | 404 KiB/s, done.
> Resolving deltas: 100% (3427/3427), done.
> warning: remote HEAD refers to nonexistent ref, unable to checkout.
> 
> And tinycc contains only .git
> 
> Same with mob:
> 
> c:\tmp>git clone -b mob git://repo.or.cz/tinycc.git Cloning into 
> 'tinycc'...
> remote: Counting objects: 5037, done.
> remote: Compressing objects: 100% (1558/1558), done.
> remote: Total 5037 (delta 3427), reused 5037 (delta 3427)Receiving 
> objects Receiving objects: 100% (5037/5037), 2.30 MiB | 404 KiB/s, done.
> Resolving deltas: 100% (3427/3427), done.
> warning: Remote branch mob not found in upstream origin, using HEAD 
> instead
> warning: remote HEAD refers to nonexistent ref, unable to checkout.
> 
> Same thing from linux box
> 
> jullien@sims ~/tmp $ git clone -b mob git://repo.or.cz/tinycc.git 
> Cloning into 'tinycc'...
> fatal: Remote branch mob not found in upstream origin

Sorry,

maybe I did something wrong. I'll check my history later out of curiosity
but it seems mob was destroyed indeed.

It should be ok now.

Best regards,

Thomas


_______________________________________________
Tinycc-devel mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/tinycc-devel

Reply via email to