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