Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.devel > #109449

Re: lintian.debian.org off ?

Show all headers | View raw

[Multipart message — attachments visible in raw view] - view raw

Otto Kekäläinen <otto@debian.org> wrote on 27/09/2023 at 06:35:07+0200:

> Hi!
>
> Thanks for the context - so there is no need technical incompatibility
> at play, but mostly a matter of having resources and time to do it.
> ..
>> Regarding the 301 redirection I'll see with the interested parties (DSA
>> and Lintian maintainers) if this option is fine with everyone.
>
> I could easily write Ansible code to maintain a simple Nginx server,
> with 302 redirects https://lintian.debian.org/tags/(.*)/?$ ->
> https://udd.debian.org/lintian-tag.cgi?tag=$1, use same Ansible style
> as salsa.debian.org is maintained on
> (https://salsa.debian.org/salsa/salsa-ansible), and also donate a tiny
> virtual machine for Debian project if needed. Is there some special
> bureaucracy on top of that work to do to be able to contribute with
> this?

Don't worry, the server still exists, it's just down, and reputting the
DNS takes little to no time.

Regarding apache config, I'm fine with doing it. It's a matter of
checking with everyone that we want to do that as the plan was nuking
the server from orbit.

Providing debian.org infrastructure requires to be a member of the
Debian System Administrators (DSA) team, which in turn requires to be a
Debian Developer, so, sadly, you can't really help on that part.

That being said, thank you for offering your time.

> I know Lintian tag info is available via command line, but I
> frequently need to educate upstreams about Lintian rules, and thus
> really also need a URL to share to them. Perhaps I could implement
> that later in the year.

-- 
PEB

Back to linux.debian.devel | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

lintian.debian.org off ? Jérémy Lal <kapouer@melix.org> - 2023-09-22 09:40 +0200
  Re: lintian.debian.org off ? Nilesh Patra <nilesh@debian.org> - 2023-09-24 20:40 +0200
    Re: lintian.debian.org off ? Otto Kekäläinen <otto@debian.org> - 2023-09-24 21:20 +0200
      Re: lintian.debian.org off ? Lucas Nussbaum <lucas@debian.org> - 2023-09-24 23:00 +0200
      Re: lintian.debian.org off ? Otto Kekäläinen <otto@debian.org> - 2023-09-26 07:30 +0200
        Re: lintian.debian.org off ? Nilesh Patra <nilesh@debian.org> - 2023-09-26 08:20 +0200
          Re: lintian.debian.org off ? Daniel Gröber <dxld@darkboxed.org> - 2023-09-26 17:00 +0200
            Re: lintian.debian.org off ? gregor herrmann <gregoa@debian.org> - 2023-09-26 18:00 +0200
        Re: lintian.debian.org off ? Pierre-Elliott Bécue <peb@debian.org> - 2023-09-26 17:50 +0200
          Re: lintian.debian.org off ? Otto Kekäläinen <otto@debian.org> - 2023-09-27 06:40 +0200
            Re: lintian.debian.org off ? Lucas Nussbaum <lucas@debian.org> - 2023-09-27 07:30 +0200
            Re: lintian.debian.org off ? Lucas Nussbaum <lucas@debian.org> - 2023-09-27 07:30 +0200
              Re: lintian.debian.org off ? Otto Kekäläinen <otto@debian.org> - 2023-11-17 08:20 +0100
                Re: Bug#1042428: lintian.debian.org off ? Otto Kekäläinen <otto@debian.org> - 2023-11-20 08:00 +0100
                Bug#1042428: lintian.debian.org off ? Lucas Nussbaum <lucas@debian.org> - 2023-11-22 08:40 +0100
                Re: Bug#1042428: lintian.debian.org off ? Aurélien COUDERC <libre@coucouf.fr> - 2023-11-22 09:40 +0100
                Re: Bug#1042428: lintian.debian.org off ? Otto Kekäläinen <otto@debian.org> - 2023-11-28 21:10 +0100
                Re: Bug#1042428: lintian.debian.org off ? Lucas Nussbaum <lucas@debian.org> - 2023-11-28 22:40 +0100
            Re: lintian.debian.org off ? Pierre-Elliott Bécue <peb@debian.org> - 2023-09-27 14:30 +0200

csiph-web