~dlax

Toulouse, France

Recent activity

Re: [PATCH hg.sr.ht] Add server-side stripping UI 2 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-dev

Ludovic Chabant a écrit :
> I forgot to add in the commit description that this relies on the core
> "debugstrip" command, so it requires Mercurial 5.7 at least (which was
> released in January 2021) to be installed on your sourcehut server.

Alternatively, you can invoke the "strip" command shipped with the 
(core) extension "strip" that's been there for longer.
E.g. "hg --config extensions.strip= strip ...".

Re: Debian repository: PGP key refreshed and help wanted 5 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-discuss

> Something in your automation scripts?

Yes. Quite likely because the old key was stored in git and I forgot
about that. Thanks Armin for fixing this.

Re: [PATCH sr.ht-debbuilds] Replace GPG key 5 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-packages

Applied, thanks!

Re: Debian repository: PGP key refreshed and help wanted 5 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-discuss

> The key at https://mirror.sr.ht/debian/key.asc is still expired.

I just re-uploaded it.

For some reason, it seems that the old key sometimes comes back on the
mirror without me doing anything. (This is the fourth time, since June,
that I have to do this.)

Re: Debian repository: PGP key refreshed and help wanted 7 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-discuss

> What kind of help do you need?

I'm looking for someone to share the maintenance of packaging and 
repository infrastructure with.

Basically, this requires reasonable knowledge of Debian packaging (and 
sourcehut) and the will to support the initiative until this can be 
handed over to the Debian project (which could occur during the beta 
phase). (If you're self-hosting a sourcehut instance installed with 
Debian packages, you're probably a good candidate also.)

For now, and in general, there's not so much work to do because 
everything is already set up and automated through CI.

Debian repository: PGP key refreshed and help wanted 7 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-discuss

The PGP key of Debian repository expired a few days ago. I've updated
its expiration date and re-uploaded it at

  https://mirror.sr.ht/debian/key.asc

you need to add it back to your /etc/apt/trusted.gpg.d in order the
repository to be usable again.


Besides, I maintain this repository and Debian packages for Sourcehut
alone for about two years now and I'd appreciate some help on this task.
It'd make sense since I'm not using the packages myself anymore. If
you're interested, please get in touch. Thanks.

[PATCH builds.sr.ht] Fix again the link value in feed items 8 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-dev

---
 buildsrht/rss.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildsrht/rss.py b/buildsrht/rss.py
index 46a8f81..2520e3e 100644
--- a/buildsrht/rss.py
@@ -18,7 +18,7 @@ def generate_feed(jobs, title, link, description):
        element = ET.SubElement(channel, "item")
        title, description = f"#{job.id} ({job.status.name})", job.note
        author = job.owner.username
        url = f"{ORIGIN}/~{author}/{job.id}"
        url = f"{ORIGIN}/~{author}/job/{job.id}"
[message trimmed]

[PATCH builds.sr.ht v2] Fix link value in feed items 8 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-dev

---
v2: Also add back the "job" segment.

 buildsrht/rss.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildsrht/rss.py b/buildsrht/rss.py
index aae3c67..2520e3e 100644
--- a/buildsrht/rss.py
@@ -18,7 +18,7 @@ def generate_feed(jobs, title, link, description):
        element = ET.SubElement(channel, "item")
        title, description = f"#{job.id} ({job.status.name})", job.note
        author = job.owner.username
[message trimmed]

[PATCH builds.sr.ht] Fix link value in feed items 8 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-dev

---
 buildsrht/rss.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildsrht/rss.py b/buildsrht/rss.py
index aae3c67..46a8f81 100644
--- a/buildsrht/rss.py
@@ -18,7 +18,7 @@ def generate_feed(jobs, title, link, description):
        element = ET.SubElement(channel, "item")
        title, description = f"#{job.id} ({job.status.name})", job.note
        author = job.owner.username
        url = f"{ORIGIN}/{author}/{job.id}"
        url = f"{ORIGIN}/~{author}/{job.id}"
[message trimmed]

Re: [PATCH core.sr.ht-deb v2] split out python3-srht-dev 8 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-packages

Applied this patch and respective ones in other repos. All builds have
run and packages should now be available in the mirror (except hg.sr.ht,
for which builds is not possible on my side).

While I'm open to contributions to this project, this one was kind of a
hassle to manage on my side; so I'd appreciate if we could refrain from
such large/invasive changes unless they are really needed.