Zit: a git extension that lets developers and coding agents change one repository at the…