When a pinned package is repinned, the package manager attempts to `git checkout` the new pin, which won't work if the package isn't a git repo (see 8cdddd87). Amend: 8cdddd87d9
8cdddd87
8cdddd87d9