Re: [darcs-users] error 'head: empty list' on importing Git repository

2019-01-22 Thread Henning Thielemann
On Tue, 22 Jan 2019, Benjamin Franksen wrote: Thanks. I have created http://bugs.darcs.net/issue2617 and also sent a fix, see http://bugs.darcs.net/patch1790. Fortunately the patch applies cleanly to the 2.14 branch (http://darcs.net/releases/branch-2.14), so you could clone that, apply the

Re: [darcs-users] error 'head: empty list' on importing Git repository

2019-01-22 Thread Benjamin Franksen
Am 22.01.19 um 15:19 schrieb Henning Thielemann: > It is public. You may run the 'cabal' command above or access it directly: >    https://github.com/nikita-volkov/QuickCheck-GenT Thanks. I have created http://bugs.darcs.net/issue2617 and also sent a fix, see http://bugs.darcs.net/patch1790.

Re: [darcs-users] error 'head: empty list' on importing Git repository

2019-01-22 Thread Henning Thielemann
On Tue, 22 Jan 2019, Benjamin Franksen wrote: 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