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