We got a request from Google to rename and remove the following duplicate tags:
r8 and android-r8
android-d8 and d8-dexer
Here's how I'm thinking to proceed with this:
- Merge r8 into android-r8, and leave r8 as a synonym
- Merge d8-dexer into android-d8, and leave d8-dexer as a synonym
This can be done easily in one click, without need for the community to do the work. However:
Folks active / vested in any of these tags: Will this break anything and/or are there any good reasons not to do so?
I'll leave this question here through the weekend and then get to it at some point on Monday if there are no concerns presented.
Edit: This has now been completed.