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 AlotOfReading on Saturday July 29, 2023 @01:42AM (#36917288)
Not OP, but I've encountered a few situations where the solution was modifying .git/ manually. The one that comes to mind was having two branches with names separated only by case on a case sensitive system, and then checking out both on a case insensitive system.
[ Parent | on HN ]
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 ]
Re:Why is DNS still hard to learn? by zx8080 on Sunday July 30, 2023 @01:04AM (#36927996)
> I've encountered a few situations where the solution was modifying .git/ manually

Would be very interesting to know the purpose of modifying .git/ manually.

[ Parent | on HN ]