News for hackers. Stuff that matters.

A comment on Why is DNS still hard to learn?. Parent comment

Re:Why is DNS still hard to learn? by pmontra on Saturday July 29, 2023 @09:54AM (#36920352)
Wouldn't be easier to rename the branches on the case sensitive system (a throw away Linux VM would do), push, pull?

Of course if the solution is editing .git/config, that's even easier, but it probably takes more than that.

[ Parent | on HN ]
Re:Why is DNS still hard to learn? by AlotOfReading on Saturday July 29, 2023 @12:00PM (#36921515)
It's been awhile so my memory is fuzzy, but this was at a windows-only shop back before WSL was a thing and getting a VM involved an annoying months-long requisition process. I think the repo state was actually corrupted too, so pull may not have been working.
[ Parent | on HN ]