avoid surprising "not found" error when copying to a http remote
authorJoey Hess <joeyh@joeyh.name>
Mon, 8 Aug 2022 15:57:24 +0000 (11:57 -0400)
committerJoey Hess <joeyh@joeyh.name>
Mon, 8 Aug 2022 15:57:24 +0000 (11:57 -0400)
commit04247fb4d01dcc2dc4226f19be11ae341004b4e2
treedfef456294b24dede603367d5d4f81a6e838ef64
parent645a66a08462875ca3b7c14d13e178993e4a3a36
avoid surprising "not found" error when copying to a http remote

git-annex copy --to a http remote will of course fail, as that's not
supported. But git-annex copy first checks if the content is already
present in the remote, and that threw a "not found".

Looks to me like other remotes that use Url.checkBoth in their checkPresent
do just return false when it fails. And Url.checkBoth does display
errors when unusual errors occur. So I'm pretty sure removing this error
message is ok.

Sponsored-by: Jarkko Kniivilä on Patreon
Remote/Git.hs
doc/bugs/GIN_is_not_recognized_as_a_git-annex_enabled_repos/comment_4_f97de485f97d8016a5ab4e276799d230._comment [new file with mode: 0644]