qudix
commented
4 days ago - same as this commit but for locked repos
- works around an issue where a locked repo has all it's contents deleted besides the .git folder (not sure why) and trying to pull will fail unless those local changes are cleared first. This pr does not address the potential underlying issue directly.