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
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Tinycc-devel mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/tinycc-devel
