Re: wrap-search 3.3.5

[Philip Kaludercic]

Emanuel Berg <incal@dataswamp.org> writes:

> Yuri Khan wrote:
>
>>> git remote add origin ${USER}@${server}:${repo}
>>> git push remote # DNC
>>>
>>> fatal: 'remote' does not appear to be a git repository
>>
>> Your remote is named ‘origin’ but you’re trying to push to
>> ‘remote’. There is no remote named ‘remote’ so the
>> push fails.
>>
>> Try ‘git push origin’ instead.
>
> That almost worked, but this [last] I think worked, the push
> option, actually the complete command, was suggested by git.
>
> Let's try the clone thing ...
>
>   $ git clone https://dataswamp.org/~incal/wrap-search.git
>   Cloning into 'wrap-search'...
>   fatal: repository 'https://dataswamp.org/~incal/wrap-search.git/' not found
>
> :(

I forgot about this, but apparently you need to activate a git hook to
make HTTP cloning work.  From [0], you have to run these commands in
your repository:

        $ git --bare update-server-info
        $ mv hooks/post-update.sample hooks/post-update

[0] 
https://mirrors.edge.kernel.org/pub/software/scm/git/docs/user-manual.html#setting-up-a-public-repository