🚨 One filename change. Zero errors. Production broken.
A small Git detail taught me a production-level lesson the hard way.** I recently ran into a subtle issue while working with Git on Windows. It looked harmless at first — until it showed up in production. I had a file named DEV.html. Later, I renamed it locally to dev.html (just a case change) and pushed again. But in production, links like <a href="dev.html"> started returning 404 – Page Not Found. After some digging, I realized GitHub still had the file named DEV.html. 🔍 What was happening? W