From debbugs-submit-bounces@debbugs.gnu.org Wed Jan 13 10:07:17 2021 Received: (at 42162) by debbugs.gnu.org; 13 Jan 2021 15:07:18 +0000 Received: from localhost ([127.0.0.1]:36240 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kzhjx-0008CY-L1 for submit@debbugs.gnu.org; Wed, 13 Jan 2021 10:07:17 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:34494) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kzhjv-0008CI-Pj for 42162@debbugs.gnu.org; Wed, 13 Jan 2021 10:07:16 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 50F6F398; Wed, 13 Jan 2021 16:07:09 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id t3kYeEZC88GR; Wed, 13 Jan 2021 16:07:08 +0100 (CET) Received: from jurong (unknown [IPv6:2001:910:103f::a63]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 3C17BCD; Wed, 13 Jan 2021 16:07:08 +0100 (CET) Date: Wed, 13 Jan 2021 16:07:06 +0100 From: Andreas Enge To: Ludovic =?iso-8859-15?Q?Court=E8s?= Subject: Re: bug#42162: gforge.inria.fr to be taken off-line in Dec. 2020 Message-ID: References: <87mu4iv0gc.fsf@inria.fr> <87y2h04mhb.fsf@gmail.com> <87a6tdce94.fsf@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <87a6tdce94.fsf@inria.fr> X-Spamd-Bar: / Authentication-Results: hera.aquilenet.fr X-Rspamd-Server: hera X-Rspamd-Queue-Id: 50F6F398 X-Spamd-Result: default: False [-0.36 / 15.00]; ARC_NA(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; URL_IN_SUBJECT(0.40)[gforge.inria.fr]; FROM_HAS_DN(0.00)[]; TO_DN_SOME(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; FREEMAIL_ENVRCPT(0.00)[gmail.com]; TAGGED_RCPT(0.00)[]; MIME_GOOD(-0.10)[text/plain]; RCPT_COUNT_FIVE(0.00)[5]; RCVD_NO_TLS_LAST(0.10)[]; FROM_EQ_ENVFROM(0.00)[]; MID_RHS_NOT_FQDN(0.50)[]; FREEMAIL_CC(0.00)[gmail.com]; FORGED_RECIPIENTS(1.00)[ludovic.courtes@inria.fr ..,andreas.enge@aquilenet.fr ...]; BAYES_HAM(-2.26)[96.52%]; RCVD_COUNT_TWO(0.00)[2] X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 42162 Cc: 42162@debbugs.gnu.org, Maurice =?iso-8859-15?Q?Br=E9mond?= , Maxim Cournoyer , andreas.enge@inria.fr X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) Am Wed, Jan 13, 2021 at 11:39:19AM +0100 schrieb Ludovic Courtès: > ISL, MPFI, and GMP-ECM haven’t migrated, it seems. gmp-ecm has migrated to gitlab.inria.fr; I just pushed a commit with an updated URI. Besides the automatically created gitlab releases with git snapshots, the maintainer also uploads a release tarball. I chose to use the latter, which requires to manually update a hash together with the version number upon a new release. Andreas