Hg pull fails

[Andreas Enge]

Hello,

as part of the workflow of building an Android app that uses GMP
with Fdroid, the script runs the following command, which fails:
$ hg pull --ssh /bin/false
pulling from https://gmplib.org/repo/gmp
abort: HTTP Error 403: Forbidden

Not being familiar with Mercurial, I wonder whether this is a problem with
the GMP server or the command (the "--ssh" part looks suspicious, but
"hg pull" fails with the same error).

The repo URL is hardcoded in Fdroid; my goal is to obtain a checkout of
gmp-6.3.0.

Thanks a lot for your help,

Andreas