It would be too painful to move D to Gitlab or another medium?

[Paul Backus]

On Friday, 24 January 2025 at 16:55:41 UTC, matheus wrote:
> I'd like to know how would people would react if the repository 
> was moved from the current to Gitlab or another medium?

D uses Github because it is the most popular git hosting 
platform, and we want to make it as easy as possible for people 
to contribute to D.

Probably the only thing that would convince D's leadership to 
switch to another platform is would be if it someday becomes 
clear that using Github is, on balance, discouraging more 
contributions than it encourages.