6

I have spotted two separate tags related to Android programming:

I think they should be merged into one.

2 Answers 2

2

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 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

  1. Use tag wiki from as it is more detailed
  2. Merge into
  3. Rename to to respect naming convention
4
  • 1
    I agree with your proposal. Do we need extra discussion with other members? Who can realize merge?
    – 404pio
    Commented Jul 22, 2020 at 16:16
  • 1
    @404pio - thank you - no, nothing else is needed, if anyone has any reservations, they will post here or comment. Then, once a moderator passes by and they have time to spare and no concerns, then a merge will be enacted and your question will be marked status-complete (be prepared that it might take a while). Commented Jul 22, 2020 at 16:18
  • 1
    @404pio Although a invite to the top answerers/subject experts wouldn't hurt either. So, that there are no objections post merge
    – TheMaster
    Commented Jul 23, 2020 at 5:10
  • @TheMaster - I agree, that's usually a good idea to do when changing the status quo ( which is not widely adopted in retag-requests for some reason ). This case can probably forgo this part safely, though, they are basically the same tag, and the answerers usually benefit from merge (but in burnination and synonym requests I think it should be a must) Commented Jul 23, 2020 at 10:01
2

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 but not also tagged . Of those 5:

So this is now done:

I've also merged in the tag wiki, so that 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 tag for general questions about media codecs.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .