Hi! I deployed it this morning so it's live now.

> 5.7 made it into Alpine 3.14 so we should be good to go on this front.

Thanks for the info, Drew!


> 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 ...".

I considered doing that but that's when I realized the extension was
deprecated, and the functionality was now in the core. We can implement
support for that if someone has a good reason to prefer it that way, but
I doubt it ;)

# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1556349248 0
#      Sat Apr 27 07:14:08 2019 +0000
# Node ID a24a55ba7b474833b7fa2a1fe8aec980e387bc60
# Parent  70074fdce7a252d8433e41b9ad569f5a2bfb6cba
Add server-side stripping UI.

This adds a new "histedit" tab in the repo settings page. The page contains
a form where a repo owner/admin can strip changesets from the repo history.
This uses `hg debugstrip` under the hood.

diff --git a/hgsrht/blueprints/extramanage.py b/hgsrht/blueprints/extramanage.py
--- a/hgsrht/blueprints/extramanage.py
[message trimmed]

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.

# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1556349248 0
#      Sat Apr 27 07:14:08 2019 +0000
# Node ID 5509aeba1166d371110da6dc8954269c32293d46
# Parent  136a036210496b90498a3f7e146e67ca63636aa4
Add server-side stripping UI.

diff --git a/hgsrht/blueprints/extramanage.py b/hgsrht/blueprints/extramanage.py
--- a/hgsrht/blueprints/extramanage.py
+++ b/hgsrht/blueprints/extramanage.py
@@ -34,3 +34,38 @@
     db.session.commit()
     generate_and_write_hgrc(repo)  # TODO: maybe do this in a celery job or something
[message trimmed]

Hi!

I don't quite understand the change and what it fixes. It looks like it
just allows to find repositories whose name start with a number? Or am I
misreading the code?

Hi!  Thanks for the private poke -- I realized that the List-IDs for
the sourcehut mailing lists seem to have changed, and my filters were
therefore failing, making it look like there was no hgsrht patches in
my queue...

It looks like Drew already merged it but didn't tag a new release for
deployment. I just did that, so it should be live now.

Thanks!

Shipped!

# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1619151830 0
#      Fri Apr 23 04:23:50 2021 +0000
# Node ID dc3fb2d5a3e09c473968d203df92ecf75b2a08af
# Parent  985f1740a51a91f11bcb70245b1e8d292a54476e
Report buildsrht submit errors to the client

diff --git a/hgsrht-hook-changegroup b/hgsrht-hook-changegroup
--- a/hgsrht-hook-changegroup
+++ b/hgsrht-hook-changegroup
@@ -20,8 +20,9 @@
     if repo_id is None:
         raise Exception("Server Error: repo info missing ID")
[message trimmed]

Hah, derpy derp.
Thanks! Merged now.