Re: wrap-search 3.3.5

[Yuri Khan]

On Mon, 29 Aug 2022 at 04:03, Emanuel Berg <incal@dataswamp.org> 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.