mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
1) Check other .lock files as well (for instance, HEAD.lock (IDEA-310217) 2) Don't remove new locks as there might be another process operating with the repo (just log) GitOrigin-RevId: 02bbb659a61e0b7468eb8bfa24211aa8748364e8