Please provide mirror on github (or some other fully-featured git hosting)

[Mark Wielaard]

Hi,

On Fri, 2021-09-03 at 08:09 +0200, Michał Górny wrote:
> Could you please consider mirroring debugedit's repository on some
> fully-featured git hosting like GitHub?

github being mostly proprietary isn't very appealing, but sourcehut
looks nice. So here you go:

https://git.sr.ht/~sourceware/debugedit

I'll try to automate the mirroring this weekend.

Have fun,

Mark