I have spotted two separate tags related to Android programming:
I think they should be merged into one.
I have spotted two separate tags related to Android programming:
I think they should be merged into one.
Both tags do indeed represent the same thing and should be merged. It seems reasonable to use the older and more established one as a merge base, but I think it should be renamed to android-mediacodec afterward, as prefixing android-*
to the tag is a prevalent naming convention (see detailed SEDE query, totals query):
691 tags of which 470 have an excerpt and 404 have a wiki
Proposal
This is an obviously appropriate merge, so further discussion is not really necessary.
Prior to the merge, there were only 5 questions in total that were tagged mediacodec but not also tagged android. Of those 5:
Two were clearly about Android, based either on the title or on the presence of version-specific tags, and I've added the general android tag to both of those questions, as it should have been there since the beginning.
Two were ambiguous to me. I'm not sure if they are about Android, and definitely not sure if they are about Android MediaCodec. I could use some help retagging these:
One was a general question about media codecs, and not about either Android or Android MediaCodec. I went ahead and retagged this.
So this is now done:
android-mediacodec ← mediacodec
I've also merged in the tag wiki, so that android-mediacodec has the best information from both.
The [android-*] prefixed tag is being used as the primary tag, following the standard convention for Android technology tags. This should also discourage misuse of the mediacodec tag for general questions about media codecs.