Conversation started Sep 20, 2020 at 11:02.
Sep 20, 2020 11:02 AM
There is no point in preserving "fubini" as a synonym, I merged without synonym; "collatz" is also useless (I deleted that one) — quid ♦ 3 hours ago
@quid So perhaps the post in the tag management thread about might be marked resolved?
A: Tag management 2020

IntegrandProposal: Rename fubini to fubini-tonelli-theorems. Basically the same idea as the other well-received post suggesting changing collatz to collatz-conjecture. Fubini did a bunch of other stuff and it's best to name the tag after his work not him. Further, Tonelli's generalization is useful in mea...

I will also point out that Integrand is currently pingable in this room - in case discussion in chat is more suitable.
Although I am aware that you are relatively busy right now. (Probably many people working in academia have quite a lot to do, considering that the new academic year will be influenced by the pandemics.)
2 hours later…
Sep 20, 2020 1:20 PM
@MartinSleziak yes I agree
Thanks for the response!
@quid I did not notice until now that the synonym suggestion still exists:
Is that intentional? (So that the plan is to let the users vote on the synonym, if they consider it useful?)
Now that I see that the proposed synonym is still among the pending synonyms, I am not sure to which exteent it is resolved.
Sep 20, 2020 1:39 PM
@MartinSleziak no. I thought it would go away when I merge without syn. I removed it now.
Thanks for catching this!
Ok, so now it probably can be considered resolved. (Although not in the way proposed by Integrand, but at least there are no longer two separate tags.)
Will you edit the post on meta to indicate that the situation is resolved?
Conversation ended Sep 20, 2020 at 13:40.