Comment by pc86

So whether you agree with the policy aims or not, wouldn't that mean this is actually productive work while trawling through git histories changing "master" to "main" is just a nonproductive waste of time.