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

[Michał Górny]

On Fri, 2021-09-03 at 16:33 +0200, Mark Wielaard wrote:
> 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.
> 

Thanks.  It seems to have both features I mentioned.

-- 
Best regards,
Michał Górny