Re: error 'head: empty list' on importing Git repository
Benjamin Franksen <[email protected]> Tue, 22 Jan 2019 14:50:49 +0100
| Newsgroups | gmane.comp.version-control.darcs.user |
|---|---|
| Message-ID | <[email protected]> |
Am 19.01.19 um 21:56 schrieb Henning Thielemann: > > I try to import a small Git repository to Darcs following to this hint: > > http://darcs.net/Using/Convert#importing-from-git > > $ cabal get --source-repository=head QuickCheck-GenT > cloning 'QuickCheck-GenT' ... > ... > $ (cd QuickCheck-GenT; git fast-export --all --progress 500) | > darcs-2.14.1 convert import QuickCheck-GenT-darcs > WARNING: Ignoring out-of-order tag refs/tags/0.1.0 > Tagging branch: refs/tags/0.1.0 > Tagging branch: refs/tags/0.1.1 > Tagging branch: refs/tags/0.1.2 > Tagging branch: refs/tags/0.1.3 > Tagging branch: refs/tags/0.1.4 > Tagging branch: refs/tags/0.2.0 > darcs-2.14.1: Prelude.head: empty list > > > It leaves a bit of a Darcs repository infrastructure but there is no > list of changes. :-( It would be easiest to debug this if I had access to the git repo in question. There are a number of calls to Prelude.head in the darcs convert code and I guess one of them is at fault here. If it is not public, can you send me a tar ball of it privately? Cheers Ben _______________________________________________ darcs-users mailing list [email protected] https://lists.osuosl.org/mailman/listinfo/darcs-users
signature.asc
(application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEENrMHocwj35njgs+mnnTm9+eykAUFAlxHH7oACgkQnnTm9+ey kAXSfg//UpFaXCrFFL2+i/LatXf+wE4+HSFPgM1S3kwRQ1QluhqeJTup+XV988ch iCNeEBWOsNd4O7rnwTbFR+z+uI6+k9mMAcVW42zkYWycgm14kNuAPMbGKfZodzbW tViHyT7FkjSCnPCgk0bIEV/yr3gvdHyG6sROu1kToJNtgYAiO7PQN7oaW0CfGHU9 vklROS0fppiqlapJAaGHOSFvC6EtpYKEftUK2pNkqSjaOTQV7oKSaEuOQhPErhhn D1vS+CNwV7aTJdEm2vCuC55gVH7hR9+0opB+YideEa/FMxuaTf6CuSzty27b/Sty YUc2XAifbR9XgNQ5pkWT+ICn8PxFpoh3j3ysvsDzRc2tSX1UcSfhmYMRUZvB+tyo L4WJilUK5KzgD5S0Q1/D0I5oDmU4dEaLHhT5Al7Jf4qi506mTZ0oy5DkqK/4YglV TgNWbJCgvAFBHPhj/b5DbwxEgiSVCxiGn3aOYuI+sMyiFCywRKfdjZH6C26dtK1o 7PicuU/TjqhEm3krYbc9KoNz57jEk5q58BgH5dPuLeEcH2mT6hAgsLrpJtiB9cQ1 aJjK8Xftz7kef1yC6YxZUvBPdTd3TakzbVNSbxS5gEMmZC7UXSs5HMskST8M/Qjo LCMj5V9Da0piBbBWhppuHoQgvgfIEZKQI4Tb6Eb3mzkDX0wkRv0= =pUNM -----END PGP SIGNATURE-----