themactep.com

A home of miscellaneous projects by Paul Philippov.

Notes

How to ignore modified files in a local git repo

git update-index --skip-worktree path/to/file