Skip to content

// blog

Notes from building it.

Git internals, the pull-request loop across three forges, and what it takes to make AI optional in a tool people trust with their work.

Subscribe by RSS →

// latest

12 min read

Is it safe to delete .git/index.lock?

Git says another process seems to be running. What .git/index.lock is, the one check to run before deleting it, and what a hard kill leaves behind.