mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
The default setting is UPDATE_POLICY_DAILY, and 5xx resolution errors are cached in local repository for one day and retry does not work. GitOrigin-RevId: 1dc82442cf8d27384a127e1bba32bfb541cb07ca