Re: what happened with janneke/gub on github?

[James]

Hello,

On 21/11/2018 10:28 pm, Werner LEMBERG wrote:
> > >    http://github.com/janneke/gub
> > >
> > > is no longer available.  Jan, is this intentional?
> > Yes, sorry.
> >
> > After I found that github is non-free software and the FSF advised
> > agains using it, I moved activity to gitlab.  After Microsoft bought
> > github I removed all my repositories.
> OK, thanks.  For reference, here is the new URL.
>
>    https://gitlab.com/janneke/gub

Now that I had already pushed the doc change ...

@Jan - I assume you are not maintaining this anymore?

I.e. it still make sense to just have one repo link in our Contributor 
Guide documentation (to Graham's original repo)?

Thanks for your time.

James