Re: What should we do if the Mercurial source server is retired ?

2024-11-21 Fir de Conversatie Tony Mechelynck
On Thu, Nov 21, 2024 at 3:33 PM Marvin Renich wrote: > > * Tony Mechelynck [241121 00:10]: > > On Wed, Nov 20, 2024 at 7:48 PM Marvin Renich wrote: > > > I have, in the past, used the hggit extension > > > (https://hg-git.github.io/), rather than the git extension. It is > > > packaged in Debia

Re: What should we do if the Mercurial source server is retired ?

2024-11-21 Fir de Conversatie Marvin Renich
* Tony Mechelynck [241121 00:10]: > On Wed, Nov 20, 2024 at 7:48 PM Marvin Renich wrote: > > I have, in the past, used the hggit extension > > (https://hg-git.github.io/), rather than the git extension. It is > > packaged in Debian as mercurial-git. To use it, simply add > > «[extensions] hggit