Skip to content

fix(data): merge the duplicate Redmi Note 12 Pro 5G pages - #67

Merged
NotAFlightRisk merged 1 commit into
mainfrom
fix/merge-redmi-note-12-pro
Oct 17, 2026
Merged

NotAFlightRisk merged 1 commit into
mainfrom
fix/merge-redmi-note-12-pro

Conversation

@NotAFlightRisk

Copy link
Copy Markdown
Owner

Category

Device

Overview

The Redmi Note 12 Pro 5G had two pages, same story as the Note 12 5G in #44. crDroid renamed its build from ruby to rubyx, so the old 15.0 build sat on one page and the live one on another. Both trees assert ruby,rubyx (old, new), so it's one phone.

ruby is now a second codename on the rubyx page and ruby.yml is gone. Rerunning the crDroid import only drops the old row, beacuse it keeps the live build. That's the only change I took into upstream/crdroid.yml - the rest of the rerun was newer build dates Monday will bring anyway.

The rubyx page never said "Redmi" either, so searching for a Redmi Note 12 Pro found the dead page rather than the live one. It now has the Pro 5G, Pro+ 5G and Discovery Edition names plus their model numbers from MobileModels, which lists all three as ruby.

Issue Number

None

Additional Info

Validate, tests and build pass. /devices/xiaomi/redmi-note-12-pro-5g/ 404s now, same as the old page did in #63.

@vercel

vercel Bot commented Oct 17, 2026 •

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
android-rom-compat Ready Ready Preview Oct 17, 2026 12:28pm UTC

@github-actions github-actions Bot added the device Details on a phone we have: specs, model numbers, hardware, duplicates label Oct 17, 2026
@NotAFlightRisk
NotAFlightRisk merged commit 2bf1a0d into main Oct 17, 2026
7 checks passed
@NotAFlightRisk
NotAFlightRisk deleted the fix/merge-redmi-note-12-pro branch October 17, 2026 12:30

This branch was successfully deployed

1 active deployment
Preview — 7dbfd2c3 Deployed Oct 17, 2026 by vercel[bot]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

device Details on a phone we have: specs, model numbers, hardware, duplicates

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant