The tag alias #70382 croc -> crocodile has been approved.

Reason: The current croc tag refers to a character, but that should likely be changed since a good number of taggers use croc to refer to a crocodile (or crocodilian), with around half of the images with this tag currently using it as such without referencing the character. Additionally, when referencing the character, croc_(character) should be utilized, which in most every image featuring the character it is indeed used. Thus, the tag is better off being aliased to crocodile instead of being used to refer to the character when another tag is better at doing so.

EDIT: The tag alias croc -> crocodile (forum #404996) has been approved by @slyroon.

In this situation both croc and croc_(character) should be aliased to croc_(disambiguation), as it's not immediately obvious what kind of croc is being referred to. This makes it harder to mistag (as it won't be the top suggestion), and easier to clean up if mistag still happens.

waydence said:
In this situation both croc and croc_(character) should be aliased to croc_(disambiguation), as it's not immediately obvious what kind of croc is being referred to. This makes it harder to mistag (as it won't be the top suggestion), and easier to clean up if mistag still happens.

In this case, I feel that it's safe to directly alias croc -> crocodile since it is a rather common colloquial term, similarly to the gator -> alligator alias.
Meanwhile, croc_(character) can be the one that is disambiguated since there are multiple characters under that name.

thegreatwolfgang said:
In this case, I feel that it's safe to directly alias croc -> crocodile since it is a rather common colloquial term, similarly to the gator -> alligator alias.
...

Probably safe, but if someone makes an error, it may be hard to catch.
Can't find any discussion on gator alias, so it's not much of a precedent here.

waydence said:
Probably safe, but if someone makes an error, it may be hard to catch.

If someone makes an error with the Croc from Croc:_Legend_of_the_Gobbos, it would still be safe since the character is usually depicted as a crocodile.
In the off chance they are not shown as a crocodile (i.e., croc -crocodile, croc_(character) -crocodile), the mistags are negligible with most posts still being eligible for crocodile.

Can't find any discussion on gator alias, so it's not much of a precedent here.

Colloquial terms are aliased all the time, even if not outright discussed. Most of which also can be disambiguated for the same reasons raised here.
For example,

• doggo, mutt, hound, pup -> domestic_dog
• kitty -> domestic_cat
• birb -> bird
• snek -> snake
• bunny -> rabbit

Fair enough

curiousoxide said:
Edit: worth noting is that croc_(character) now leads to a disambiguation page

See topic #44358

Still waiting on this to be approved

The tag alias croc -> crocodile (forum #404996) has been approved by @slyroon.