From andreas.enge at inria.fr  Thu Jan  8 11:39:10 2026
From: andreas.enge at inria.fr (Andreas Enge)
Date: Thu, 8 Jan 2026 11:39:10 +0100
Subject: Hg pull fails
Message-ID: <aV-JThbMGq8nOewJ@jurong>

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