Looking for consensus on if these tags should be merged, or what can be used in tag clean-up to separate them.

We don't need multiple tags that are literally synonyms. Gym is well-understood and is arguably the more common term, and it's also the bigger and older of the two tags.

The bulk update request #2089 is active.

create alias gymnasium -> gym

Reason:

EDIT: This bulk update request has been rejected because it was not approved within 60 days.

EDIT: The bulk update request #2089 (forum #159248) has been rejected by @DanbooruBot.

EDIT: The bulk update request #2089 (forum #159248) has been approved by @Hillside_Moose.

I thought this was about if we should split up school gymnasium from the health fitness type of gym, since that'd be the only reason to consider more than one tag

Maybe both tags should be migrated to school_gymnasium and fitness_studio or something like that to avoid any ambiguities and mistagging?

kittey said:

Maybe both tags should be migrated to school_gymnasium and fitness_studio or something like that to avoid any ambiguities and mistagging?

Yeah, whether or not we need to distinguish between multiple types of gyms, we still mustn't use tags that mean exactly the same thing.

This bulk update request has been rejected because it was not approved within 60 days.

The bulk update request #2089 (forum #159248) has been rejected by @DanbooruBot.

The bulk update request #2089 (forum #159248) has been approved by @Hillside_Moose.