Published onOctober 11, 2022How to safely rename a case sensitive file/directory in a git repo?#git#rename#case-sensitiveHow to safely rename a case sensitive file/directory in a git repo?
Published onAugust 27, 2021Ignore all files in a directory except a specific file#git#gitignoreIgnore all files in a directory except a specific file