Please do, I am inclined to keep paying for that GitLab namespace for other reasons. GitLab has a similar concern as GitHub, except that GitLab is GitLab, but I suppose all hosting sites have their set of concerns these days, so the more the merrier. /Simon Tobias Geerinckx-Rice writes: > Hi Simon, > > Would you mind if I add your mirror to ? > > It used to advertise 'our' 'unofficial' mirror on GitHub, but they since removed (free) synchronisation. > > And they're GitHub. > > Kind regards, > > T G-R > > Sent on the go. Excuse or enjoy my brevity.