Github bug: a lock file already exists in the repository