[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gpsd-dev] Repo and web pages have been re-homed
|
From: |
Eric S. Raymond |
|
Subject: |
Re: [gpsd-dev] Repo and web pages have been re-homed |
|
Date: |
Sat, 1 Jun 2019 14:30:55 -0400 |
|
User-agent: |
Mutt/1.10.1 (2018-07-13) |
Titouan Christophe <address@hidden>:
> About the official releases tarball download page, does that one remain on
> Savannah ? (http://download-mirror.savannah.gnu.org/releases/gpsd/)
Until we figure out how to script the GitLab release system.
I know what the curl magic for this is, but it needs a verification
cookie that I don't know how to get yet.
Amnnoyingly, the release-pusher script can't be in the GPSD repo
itself, as that would expose the verification cookie.
--
<a href="http://www.catb.org/~esr/";>Eric S. Raymond</a>